/* * Interface for testing the prenex normal form transformer */ sig pnf_examples. accum_sig logic_types, logic_basic, logic_vocab. /* this predicate definition is used but not changed */ exportdef test int -> form -> o.
/* * Interface for testing the prenex normal form transformer */ sig pnf_examples. accum_sig logic_types, logic_basic, logic_vocab. /* this predicate definition is used but not changed */ exportdef test int -> form -> o.