Make.Sem
val make : elt Xliteral.view -> t
val view : t -> elt Xliteral.view
val atom_view : t -> elt Xliteral.atom_view * bool
val mk_builtin : bool -> Xliteral.builtin -> elt list -> t
val mkv_eq : elt -> elt -> elt Xliteral.view
val mkv_distinct : bool -> elt list -> elt Xliteral.view
val mkv_builtin : bool -> Xliteral.builtin -> elt list -> elt Xliteral.view
val mkv_pred : elt -> bool -> elt Xliteral.view
val print : Stdlib.Format.formatter -> t -> unit
val hash : t -> int
val uid : t -> int