scid ~master (2022-05-05T22:34:27.6293042)
Dub
Repo
Interval.order
scid
types
Interval
If a > b, swap the endpoints.
T
a
;
T
b
;
Meta
Source
See Implementation
scid
types
Interval
functions
contains
order
properties
isInfinite
isOrdered
length
variables
a
b
If a > b, swap the endpoints.