module Cost: sig .. end
sig
end
Measture the cost of term
val basicCost : Ast.term -> Ast.term list -> int
Ast.term -> Ast.term list -> int
measure the cost of term by counting and multiply a constant
term
nontermlist