let sigma f l =
  Term.mk_app f l