let
mk_s () =
Term
.
App
.mk_const
Sym
.
Cl
.s