/*
 * 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.


