drasil-gen-0.1.3.0: A framework for code and document generation for scientific software - Utils SubPackage
Safe HaskellNone
LanguageGHC2024

Drasil.Generator.SRS.TypeCheck

Synopsis

Type check a Drasil System

typeCheckSI :: SmithEtAlSRS -> IO () Source #