public ISignaturePattern parameterizeWith(
Map<String, UnresolvedType> typeVariableBindingMap, World world) {
return new NotSignaturePattern(negatedSp.parameterizeWith(typeVariableBindingMap, world));
}
public ISignaturePattern parameterizeWith(
Map<String, UnresolvedType> typeVariableBindingMap, World world) {
return new NotSignaturePattern(negatedSp.parameterizeWith(typeVariableBindingMap, world));
}