sig
val ( ++ ) :
'a #Uq_engines.engine ->
('a -> 'b #Uq_engines.engine) -> 'b Uq_engines.engine
val ( >> ) :
'a #Uq_engines.engine ->
('a Uq_engines.final_state -> 'b Uq_engines.final_state) ->
'b Uq_engines.engine
val eps_e :
'a Uq_engines.engine_state ->
Unixqueue.event_system -> 'a Uq_engines.engine
end
