improve-0.3.3: An imperative, verifiable programming language for high assurance applications.
Language.ImProve.Code.Simulink
Synopsis
codeSimulink :: Name -> Statement -> IO ()Source
data Netlist Source
Constructors
Fields
data Block Source
netlist :: Statement -> IO NetlistSource
Builds a netlist.