module NonTerminal: sig .. end
sig
end
type t = Ast.term
Ast.term
val compare : Ast.term -> Ast.term -> int
Ast.term -> Ast.term -> int