blob: e5cf69f54c597d8378be03ae1e0d7165e2661646 (
plain)
1
2
3
4
5
6
7
8
|
val cInt_tbl : (int, Term.constr) Hashtbl.t
val mkInt : int -> Term.constr
type 'a gen_hashed = { index : int; hval : 'a; }
val mklApp : Term.constr Lazy.t -> Term.constr array -> Term.constr
val declare_new_type : Names.variable -> Term.constr
val declare_new_variable : Names.variable -> Term.types -> Term.constr
val mkName : string -> Names.name
val string_of_name : Names.name -> string
|
