avail/avail/AvailRuntime/addSemanticRestriction

addSemanticRestriction

fun addSemanticRestriction(restriction: A_SemanticRestriction)

Add a semantic restriction to the method associated with the given method name.

Parameters

restriction

A semantic restriction that validates the static types of arguments at call sites.