Previous  Up  Next

Module TypeMono

module TypeMono: sig .. end

Monomorphic Types


module ID: ID
module Var: Var
module MetaVar: MetaVar
module TI: TermInner
module Subst: Var.Subst
module Builtin: TI.TyBuiltin
type id = ID.t 
type 'a var = 'a Var.t 
type 'a printer = Format.formatter -> 'a -> unit 
type 'a view =
| Builtin of Builtin.t (*
Builtin type
*)
| Const of id
| App of 'a * 'a list
| Arrow of 'a * 'a 
module type S = sig .. end
A polymorphic type is a term that respects TypeMono.S.is_ty 
module Make (T : TI.REPR) : sig .. end
val default : (module TypeMono.S with type T.t = TI.Default.t)