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