Shared_ast.TypeIdent
type t
include Catala_utils.Map.OrderedType with type t := t
include Stdlib.Map.OrderedType with type t := t
val compare : t -> t -> int
val format : Stdlib.Format.formatter -> t -> unit
val get_info : t -> Catala_utils.Uid.MarkedString.info
val equal : t -> t -> bool
val hash : t -> int
module Set : Stdlib.Set.S with type elt = t
module Map : Catala_utils.Map.S with type key = t