package aez

  1. Overview
  2. Docs
type operator =
  1. | Plus
  2. | Minus
  3. | Mult
  4. | Div
  5. | Modulo
type name_kind =
  1. | Ac
  2. | Constructor
  3. | Other
type t =
  1. | True
  2. | False
  3. | Name of Hstring.t * name_kind
  4. | Int of Hstring.t
  5. | Real of Hstring.t
  6. | Op of operator
  7. | Var of Hstring.t
val name : ?kind:name_kind -> Hstring.t -> t
val var : string -> t
val int : string -> t
val real : string -> t
val is_ac : t -> bool
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val print : Format.formatter -> t -> unit
module Map : sig ... end
module Set : sig ... end