sig val eq_types : Ast.Ast.typerep -> Ast.Ast.typerep -> bool val eq_vars : Ast.Ast.var -> Ast.Ast.var -> int val eq_exps : Ast.Ast.exp -> Ast.Ast.exp -> bool end