let hash_of_term (term: term) : int = match term with | Var var -> Var.hash_of_var var | Const symbol -> Symbol.id symbol | Func func -> func.hash