Module Session


module Session: sig .. end


type entry =
| Nfe of (CoreML.t * (CoreML.t * CoreML.pos list) list * CoreML.t)
| TNfe of (CoreML.t * (CoreML.t * CoreML.pos list) list * CoreML.t * Type.t)
type t = entry list 
type template 
val default : template
val tmplp : template -> template Parser.t
val to_strng : template -> entry list -> char list