let
f_guard tf e = p_app2 mk_fguard (e_app0 (mk_fformat tf)) e