let
hash_of_literal (literal: literal) : int =
hash_of_term literal.atom