class virtual [['a, 'b]]
next :
object
.. end
Use inherit ['i, 'o] next
to derive a class that implements an
intermediate state in a machine.
method private virtual guard : (< next : 'd. ('c, 'a, 'b, 'd) Cf_state_gadget.t; .. > as 'c, 'a, 'b, unit)
Cf_state_gadget.guard
The guard evaluated by this state of the machine.
method next : 'd. ('c, 'a, 'b, 'd) Cf_state_gadget.t
Use
obj#next
to transition the state of the machine by storing
obj
in the state of the gadget and applying
Cf_state_gadget.guard
self#guard
.