module BottomUpAst:sig
..end
typefile =
clause list
Toplevel statement
type
clause =
| |
Clause of |
type
literal =
| |
Atom of |
type
term =
| |
Var of |
| |
Const of |
| |
Quoted of |
type
query =
| |
Query of |
(* | Query: projection, positive lits, negative lits | *) |