package aez

  1. Overview
  2. Docs
type t
type view = private {
  1. f : Symbols.t;
  2. xs : t list;
  3. ty : Ty.t;
  4. tag : int;
}
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 : sig ... end
module Set : sig ... end