AnimationState<'a> Type
Stateful retargeting value held by the author in their own model. All transitions are pure (Principle IV); the framework owns no hidden mutable animation registry. `Interp` carries the per-`'a` interpolant supplied at `create` so that the interp-free `advance` / `value` signatures (data-model.md) can recompute `Current` for the generic `'a`. (Resolves the contract's internal inconsistency between `create` taking `interp` and the 6-field record having nowhere to store it — see `readiness/package-surface-expectations.md`.)
Record fields
| Record Field |
Description
|
Full Usage:
Current
Field type: 'a
|
|
|
|
|
|
|
|
Full Usage:
Interp
Field type: 'a -> 'a -> float -> 'a
|
|
Full Usage:
Start
Field type: 'a
|
|
Full Usage:
Target
Field type: 'a
|
|