{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"(F16Range(self_from,"}]}
            (F16Range(self_from, self_to, self_end), F16Range(other_from, other_to, other_end)) => {
            (IntRange(self_range), IntRange(other_range)) => self_range.is_subrange(other_range),
                self_from.ge(other_from)