Type.Var
include Catala_utils.Map.OrderedType with type t = var
include Stdlib.Map.OrderedType with type t = var
type t = var
val compare : t -> t -> int
val format : Stdlib.Format.formatter -> t -> unit
module Map : Catala_utils.Map.S with type key = t
module Set : Stdlib.Set.S with type elt = t
module Hashtbl : Stdlib.Hashtbl.S with type key = t
val fresh : unit -> t
val equal : t -> t -> bool
val hash : t -> int