Module Uf.S.R

module R: Sig.X 

type r 

val make : Term.t -> r * Literal.LT.t list

val type_info : r -> Ty.t

val compare : r -> r -> int

val equal : r -> r -> bool

val hash : r -> int

val leaves : r -> r list

val subst : r -> r -> r -> r

val solve : r -> r -> (r * r) list

val term_embed : Term.t -> r

val term_extract : r -> Term.t option

val unsolvable : r -> bool

val fully_interpreted : Symbols.t -> bool

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

module Rel: Sig.RELATION  with type r = r