Hashtbl.Make (
    struct
      type t = clause
          
      let equal = clause_equal
      let hash = hash_of_clause
    end
  )