cryptol-2.6.0: Cryptol: The Language of Cryptography

Safe Haskell | Safe
Language | Haskell2010

Cryptol.Transform.AddModParams

Description

Transformed a parametrized module into an ordinary module where everything is parameterized by the module's parameters. Note that this reuses the names from the original parameterized module.

# Documentation

addModParams :: Module -> Either [Name] Module Source #