package datalog

  1. Overview
  2. Docs
type t =
  1. | LitPos of T.t
  2. | LitNeg of T.t
val mk_pos : T.t -> t
val mk_neg : T.t -> t
val mk : bool -> T.t -> t
val eq : t -> t -> bool
val hash : t -> int
val to_term : t -> T.t
val fmap : (T.t -> T.t) -> t -> t
val to_string : t -> string
val pp : Pervasives.out_channel -> t -> unit
val fmt : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.