public SNode getSubOrSuperType(
SNode ct, TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
return _quotation_createNode_832k9i_a0a0(
((SNode) status.getPattern().getFieldValue("patternVar_ELEMENT")));
}
public SNode getSubOrSuperType(
SNode set, TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
return _quotation_createNode_5z9xz6_a0a2(
((SNode) status.getPattern().getFieldValue("patternVar_elementType")));
}