ToySolver.Wang

type Formula a

type Sequent x

isValid