avail/avail.stacks.module/StacksImportModule/addSemanticImplementation

addSemanticImplementation

abstract fun addSemanticImplementation(key: A_String, implementation: SemanticRestrictionComment)

Parameters

key

The name of the method used as a key to look up ImplementationGroup in the map.

implementation

The semantic restriction implementation to add.