package datalog

  1. Overview
  2. Docs
type t = private {
  1. head : T.t;
  2. body : Lit.t list;
}
exception Unsafe
val mk_clause : T.t -> Lit.t list -> t
val mk_fact : T.t -> t
val eq : t -> t -> bool
val hash : t -> int
val head_symbol : t -> const
val max_var : t -> int
val fmap : (T.t -> T.t) -> t -> t
val to_string : t -> string
val pp : Stdlib.out_channel -> t -> unit
val fmt : Stdlib.Format.formatter -> t -> unit
module Tbl : Stdlib.Hashtbl.S with type key = t
OCaml

Innovation. Community. Security.