Previous  Up  

Module TermTyped.Default

module Default: sig .. end
type t = {
   view : t TermTyped.view;
   d_loc : Loc.t option;
   mutable d_ty : t option;
} 
val deref_rec_ : t -> t
val repr : t -> t TermTyped.view
val loc : t -> Loc.t option
val ty : t -> t option
val make_raw_ : loc:Loc.t option ->
       ty:t ->
       t TermTyped.view -> t
val build : ?loc:Loc.t ->
       ty:t -> t TI.view -> t
val kind : t
module Print: TI.Print(sig


type t_ = TermTyped.Default.t 




type t = t_ 




val repr : t -> t TermTyped.view
end)