scid ~John-Colvin-patch-1 (2022-05-06T09:24:25.9708105)
Dub
Repo
Interval.length
scid
types
Interval
The length of the interval, defined as b-a.
T
a
;
T
b
;
Meta
Source
See Implementation
scid
types
Interval
functions
contains
order
properties
isInfinite
isOrdered
length
variables
a
b
The length of the interval, defined as b-a.