Previous  Up  Next

Module TypePoly

module TypePoly: sig .. end

Types with polymorphism and meta-variables


module TI: TermInner
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
| Var of 'a var
| Meta of 'a MetaVar.t
| App of 'a * 'a list
| Arrow of 'a * 'a
| Forall of 'a var * 'a 
module type S = sig .. end
A polymorphic type is a term that respects TypePoly.S.is_ty 
module Make (T : TI.REPR) : sig .. end
val default : (module TypePoly.S with type T.t = TI.Default.t)