-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | An interface to CIL and ACSL through Frama-C.
--   
--   TODO
@package cil
@version 0.0.0

module Language.CIL
data File
File :: String -> File
instance Show File
instance Parse File