Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- FooController(Foo) ≝
- ∨ FooControllerSyncSpec(Foo)
- ∨ FooControllerSyncStat(Foo)
- FooControllerSyncSpec(Foo) ≝
- ∨ Action-1-Enabled(Foo) ⟹ Action-1(Foo)
- ∨ Action-2-Enabled(Foo) ⟹ Action-2(Foo)
- FooControllerSyncStat(Foo) ≝
- Update(Foo, [Foo EXCEPT !.Status = Gather-Status(Foo)])
Add Comment
Please, Sign In to add comment