classA useful class fragment that implements['a]engine_mixin :'a engine_state ->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 -> unit
