TypedC.Constr
type t = constr
val make : constr_name -> int -> constr
make name arity create a constructor with given name and arity.
make name arity
val pp : Stdlib.Format.formatter -> constr -> unit
val equal : constr -> constr -> bool
val hash : constr -> int
val to_string : constr -> string