Module Term (.ml)

module Term: sig .. end

type t 

type view = private {

val view : t -> view

val make : Symbols.t -> t list -> Ty.t -> t

val vrai : t

val faux : t

val int : string -> t

val real : string -> t

val is_int : t -> bool

val is_real : t -> bool

val compare : t -> t -> int

val equal : t -> t -> bool

val hash : t -> int

val print : Format.formatter -> t -> unit

module Map: Map.S  with type key = t

module Set: Set.S  with type elt = t