module TopDown:sig
..end
This module implements top-down computation of Datalog queries with non-stratified negation.
See "efficient top-down computation of queries under the well-founded semantics"
module type CONST =sig
..end
module type S =sig
..end
module Make:
module type PARSABLE_CONST =sig
..end
module type PARSE =sig
..end
module MakeParse:
type
const =
| |
Int of |
| |
String of |
module Default:sig
..end