Skip to main content

Module part_operation

Module part_operation 

Source
Expand description

PartOperation: an operation and how it is edited, in one trait — what a step is given, how it runs, and the one form it is edited through, whose fields each set what they show, so a field’s key is written once — and part_operation!, which makes it an Operation and an Editable, its editing state a FormState of its session.

Traits§

PartOperation
One kind of step of a part, and how it is edited.