let
mk_disjunction_named =
Logic_const
.pors