scid ~John-Colvin-patch-1 (2022-05-06T09:24:25.9708105)
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.