Plasma GitLab Archive
Projects Blog Knowledge

sig
  val ( ++ ) :
    '#Uq_engines_compat.engine ->
    ('-> '#Uq_engines_compat.engine) -> 'Uq_engines_compat.engine
  val ( >> ) :
    '#Uq_engines_compat.engine ->
    ('Uq_engines_compat.final_state -> 'Uq_engines_compat.final_state) ->
    'Uq_engines_compat.engine
  val eps_e :
    'Uq_engines_compat.engine_state ->
    Unixqueue.event_system -> 'Uq_engines_compat.engine
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml