let
depth_of_literal (literal: literal) =
depth_of_term literal.
Term
.atom 0