Searched defs:substitution (Results 1 – 3 of 3) sorted by relevance
166 def __init__(self, substitution): argument
532 Substitution substitution = Substitution.empty(); in boundSetup() local673 … private ResolvedType typeWithSubstitution(ResolvedType originalType, Substitution substitution) { in typeWithSubstitution()
2228 func (st *state) substitution(forPrefix bool) AST { func