check
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
size
The integer range type describing the possible tuple sizes.
start
An integer range type bounding the possible slice starting index.
end
An integer range type bounding the possible slice ending index.