classA useful class fragment that implements['a]engine_mixin :'a engine_state -> Unixqueue.event_system ->object..end
state and
request_notification.method state : 'a engine_statemethod private set_state : 'a engine_state -> unitmethod request_notification : (unit -> bool) -> unitmethod private notify : unit -> unitmethod event_system : Unixqueue.event_system
