Module type Sig.COMBINATOR

module type COMBINATOR = sig .. end

type r 

type th 

val extract : r -> th

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

val type_info : r -> Ty.t

val compare : r -> r -> int

val leaves : r -> r list

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

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

val empty_embedding : Term.t -> r

val normal_form : Literal.LT.t -> Literal.LT.t

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

module Rel: Sig.RELATION  with type r = r