let
mk_term node typ =
Logic_const
.term node typ