let
weight_of_literal (literal: literal) : int =
weight_of_term literal.
Term
.atom 0