let
of_term lookup =
Trace
.func
"foo6"
"Sign.of_term"
Term
.pp pp (of_term lookup)