Skip to main content
Module displacement
axiolid_
contracts
0.3.7
Module displacement
Module Items
Structs
In crate axiolid_
contracts
axiolid_contracts
Module
displacement
Copy item path
Source
Expand description
A bound on how far a rounding step moved a boundary.
Structs
ยง
Displacement
Bound
A finite, non-negative distance bound in model units.