let
mk_empty = (
Propset
(
Empty
), 16)