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