As Ken Shan points out, this is an instance of the algorithm
for converting name/year citations (like 'see Montague 1970')
to numerals corresponding to their position in the
As Ken Shan points out, this is an instance of the algorithm
for converting name/year citations (like 'see Montague 1970')
to numerals corresponding to their position in the
fun s -> M.bind (u s) (fun (a, s') -> f a s');;
let elevate (m : 'a M) : 'a stateT(M) =
fun s -> M.bind (u s) (fun (a, s') -> f a s');;
let elevate (m : 'a M) : 'a stateT(M) =