Module Terms

module Terms: sig .. end

this has the methods which are relevant with term in ast

val checkTermHasNonTerminal : Ast.term -> Ast.term list -> bool

check Term have non-terminal

term : Ast term

nontermlist : non-terminal list in term

val countTermHasNonTerminal : Ast.term -> Ast.term list -> int

count Term have how many non-terminals

term : Ast term

nontermlist : non-terminal list in term

val countTerm : Ast.term -> int

count Term have how many terminals

term : Ast term

val sortToTerm : Ast.sort -> Ast.term

change sort of Ast to term of Ast