Data.Derivation.Parse
Contents
parseConstraint :: String -> Maybe (Exp Var 'Boolean) Source #
type Var = String Source #