checkFallibility

fun checkFallibility(    sizeRange: A_Type,     startIndexType: A_Type,     endIndexType: A_Type): Primitive.Fallibility

Check whether the given tuple size range can have a slice extracted with start and end indices with the given range. Answer a Primitive.Fallibility that indicates whether the extraction would always, sometimes, or never fail.

Return

The fallibility guarantee of the tuple extraction attempt.

Parameters

sizeRange

The integer range type describing the possible tuple sizes.

startIndexType

An integer range type bounding the possible slice starting index.

endIndexType

An integer range type bounding the possible slice ending index.