typecheck-plugin-nat-simple-0.1.0.2: Simple type check plugin which calculate addition, subtraction and less-or-equal-than
Safe HaskellNone
LanguageHaskell2010

Data.Derivation.Parse

Synopsis

PARSE CONSTRAINT

parseConstraint :: String -> Maybe (Exp Var 'Boolean) Source #

type Var = String Source #