package datalog

  1. Overview
  2. Docs

Module Logic.TSource

Sourcetype t = private
  1. | Var of int
  2. | Apply of const * t array
Sourceval mk_var : int -> t
Sourceval mk_const : const -> t
Sourceval mk_apply : const -> t array -> t
Sourceval mk_apply_l : const -> t list -> t
Sourceval is_var : t -> bool
Sourceval is_apply : t -> bool
Sourceval is_const : t -> bool
Sourceval eq : t -> t -> bool
Sourceval hash : t -> int
Sourceval ground : t -> bool
Sourceval vars : t -> int list
Sourceval max_var : t -> int

max var, or 0 if ground

Sourceval head_symbol : t -> const
Sourceval to_string : t -> string
Sourceval pp : out_channel -> t -> unit
Sourceval fmt : Format.formatter -> t -> unit
Sourceval pp_tuple : out_channel -> t list -> unit
Sourcemodule Tbl : Hashtbl.S with type key = t
OCaml

Innovation. Community. Security.