Safe Haskell | Safe |
---|

## Synopsis

- type Assignment a = Map (Var a) Bool
- solve :: Ord a => Fml a -> Maybe (Assignment a)

# Type

type Assignment a = Map (Var a) Bool Source #

`Assignement`

type definition.

Safe Haskell | Safe |
---|

- type Assignment a = Map (Var a) Bool
- solve :: Ord a => Fml a -> Maybe (Assignment a)

type Assignment a = Map (Var a) Bool Source #

`Assignement`

type definition.