Cryptol.TypeCheck.CheckModuleInstance
checkModuleInstance Source #
Arguments
type-checked functor
type-checked instance
Renaming,Instantiated module
Check that the instance provides what the functor needs.