Module Uq_engines_compat.Operators

module Operators: sig .. end

val (++) : 'a #Uq_engines_compat.engine ->
       ('a -> 'b #Uq_engines_compat.engine) -> 'b Uq_engines_compat.engine

val (>>) : 'a #Uq_engines_compat.engine ->
       ('a Uq_engines_compat.final_state -> 'b Uq_engines_compat.final_state) ->
       'b Uq_engines_compat.engine

val eps_e : 't Uq_engines_compat.engine_state ->
       Unixqueue.event_system -> 't Uq_engines_compat.engine

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge