Expand description
Overloadable operators for Alloy.
Structs§
- An error that may be returned from fallable
TryDotoperations.
Traits§
- Performs the cross-product
- Trait for an algabraic scalar product between two equal-length sequences of numbers and returns a single value.
- Trait for interpolating between two different states.
- Computes a midpoint of two types.
- Fallible trait for an algabraic scalar product between two possibly inequal-length sequences of numbers and returns a single value.