module C:sig
..end
type
t = private {
|
head : |
|
body : |
exception Unsafe
val mk_clause : TopDown.S.T.t -> TopDown.S.Lit.t list -> t
val mk_fact : TopDown.S.T.t -> t
val eq : t -> t -> bool
val hash : t -> int
val head_symbol : t -> TopDown.S.const
val max_var : t -> int
val fmap : (TopDown.S.T.t -> TopDown.S.T.t) -> t -> t
val to_string : t -> string
val pp : Pervasives.out_channel -> t -> unit
val fmt : Format.formatter -> t -> unit
module Tbl:Hashtbl.S
with type key = t