let
sigma f l =
Term
.
App
.mk_app f l