package datalog

  1. Overview
  2. Docs
type set
val ask : db -> ?neg:literal list -> int array -> literal list -> set
val iter : set -> (term array -> unit) -> unit
val to_list : set -> term array list
val cardinal : set -> int
val pp_plan : Stdlib.Format.formatter -> set -> unit