sig
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 = Session.entry list
type template
val default : Session.template
val tmplp : Session.template -> Session.template Parser.t
val to_strng : Session.template -> Session.entry list -> char list
end