scid ~John-Colvin-patch-1 (2022-05-06T09:24:25.9708105)
Dub
Repo
Interval.isOrdered
scid
types
Interval
Determine whether this is an ordered interval, i.e. whether a <= b.
T
a
;
T
b
;
Meta
Source
See Implementation
scid
types
Interval
functions
contains
order
properties
isInfinite
isOrdered
length
variables
a
b
Determine whether this is an ordered interval, i.e. whether a <= b.