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

Cryptol.TypeCheck.CheckModuleInstance

Synopsis

Documentation

checkModuleInstance Source #

Arguments

:: Module

type-checked functor

-> Module

type-checked instance

-> InferM Module

Instantiated module

Check that the instance provides what the functor needs.