Functor Literal.Make (.ml)

module Make: 
functor (X : OrderedType) -> S  with type elt = X.t

type elt 

type t 

val make : elt Literal.view -> t

val view : t -> elt Literal.view

val neg : t -> t

val add_label : Hstring.t -> t -> unit

val label : t -> Hstring.t

val print : Format.formatter -> t -> unit

val compare : t -> t -> int

val equal : t -> t -> bool

val hash : t -> int

module Map: Map.S  with type key = t

module Set: Set.S  with type elt = t