let
mk_full () =
Term
.
App
.mk_const (
Sym
.
Propset
.mk_full)