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