cryptol-2.13.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.