Cryptol.TypeCheck.CheckModuleInstance

Documentation

checkModuleInstance

Arguments

:: Module

type-checked functor

-> Module

type-checked instance

-> InferM (Name -> Name, Module)

Renaming,Instantiated module

Check that the instance provides what the functor needs.