cryptol-2.12.0: Cryptol: The Language of Cryptography
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.TypeCheck.Interface

Synopsis

Documentation

mkIfaceDecl :: Decl -> IfaceDecl Source #

genIface :: ModuleG mname -> IfaceG mname Source #

Generate an Iface from a typechecked module.