module Cf_machine:Object-oriented framework for monadic composition of complex stream processors.sig
..end
This module extends Cf_gadget
with an object-oriented framework. The
idea is to facilitate reuse of gadget monads among related processes by
class inheritance.
class virtual[['a, 'b]]
substate :object
..end
class virtual[['a, 'b]]
state :object
..end
class[['a, 'b]]
initial :object
..end
inherit ['i, 'o] initial
to derive a class to represent the
complete initial state of a machine.