package datalog

  1. Overview
  2. Docs

Module Logic.LitSource

Sourcetype aggregate = {
  1. left : T.t;
  2. constructor : const;
  3. var : T.t;
  4. guard : T.t;
}
Sourcetype t =
  1. | LitPos of T.t
  2. | LitNeg of T.t
  3. | LitAggr of aggregate
Sourceval mk_pos : T.t -> t
Sourceval mk_neg : T.t -> t
Sourceval mk : bool -> T.t -> t
Sourceval mk_aggr : left:T.t -> constructor:const -> var:T.t -> guard:T.t -> t
Sourceval eq : t -> t -> bool
Sourceval hash : t -> int
Sourceval to_term : t -> T.t
Sourceval fmap : (T.t -> T.t) -> t -> t
Sourceval to_string : t -> string
Sourceval pp : out_channel -> t -> unit
Sourceval fmt : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.