let
mk_k () =
Term
.
App
.mk_const
Sym
.
Cl
.k