Safe HaskellSafe

Data.Algorithm.SatSolver.Var.Some

Contents

Synopsis

Testing Var Int

var1 :: Var Int Source #

var2 :: Var Int Source #

var3 :: Var Int Source #

var4 :: Var Int Source #

var5 :: Var Int Source #

var6 :: Var Int Source #

var7 :: Var Int Source #

var8 :: Var Int Source #

var9 :: Var Int Source #

Testing Var String

varEvtA :: Var String Source #

varEvtB :: Var String Source #

varEvtC :: Var String Source #