Plasma GitLab Archive
Projects Blog Knowledge

Previous  Up  Next

Class Uq_engines.qseq_engine

class [['a, 'b]] qseq_engine : 'a #engine -> ('a -> 'b #engine) -> ['b] engine
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml