scid ~master (2022-05-05T22:34:27.6293042)
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.