Module Session.State

Built-in state values. TODO. Call Tpf to the rescue.

val int : int state
val string : string state
val pair : 'a state -> 'b state -> ('a * 'b) state