module Sat where

import qualified Data.Map as Map
import Data.Map (Map)
import SatDef

val :: Ord a => Map a Bool -> P a -> Bool
val env p = error "TODO"

mkEnv :: Ord a => P a -> Map a Bool
mkEnv p = error "TODO"

sat :: Ord a => P a -> Map a Bool
sat p = error "TODO"