Previous  Up  Next

Module TermMono

module TermMono: sig .. end
top-level symbol
module ID: ID
module Var: Var
module Sig: Signature
module TI: TermInner
module Builtin: TI.Builtin
module TyBuiltin: TI.TyBuiltin
module Binder: sig .. end
type id = ID.t 
type 'a var = 'a Var.t 
type 'a view =
| Const of id (*
top-level symbol
*)
| Var of 'a var (*
bound variable
*)
| App of 'a * 'a list
| Builtin of 'a Builtin.t (*
built-in operation
*)
| Bind of Binder.t * 'a var * 'a
| Let of 'a var * 'a * 'a
| Match of 'a * 'a TI.cases (*
shallow pattern-match
*)
| TyBuiltin of TyBuiltin.t (*
Builtin type
*)
| TyArrow of 'a * 'a 
module type S = sig .. end
The main signature already contains every util, printer, constructors, equality, etc. 
module Make (T : TI.REPR) : sig .. end
Build a representation and all the associated utilities 
module ToFO (T : TI.S) : sig .. end
module OfFO (T : TI.S) : sig .. end
module TransFO (T1 : TI.S) : sig .. end