package datalog

  1. Overview
  2. Docs
package datalog
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 : out_channel -> t -> unit
val fmt : Format.formatter -> t -> unit
module Tbl : Hashtbl.S with type key = t