Back to Schema
updates.State
Constructors
Predicate
updates.state