atom-0.0.2: A DSL for embedded hard realtime applications.

Language.Atom.Verify

Documentation

verify :: Int -> [[[Rule]]] -> [UV] -> (String, UE) -> IO BoolSource