HaRe-0.6: tools/property/syntax/PropSyntax.hs

module PropSyntax (module P) where

import PropSyntaxStruct as P
import PropSyntaxRec as P