Plasma GitLab Archive
Projects Blog Knowledge

Class Uq_engines_compat.fmap_engine

class [['a, 'b]] fmap_engine : 'a #engine -> ('a final_state -> 'b final_state) -> ['b] engine

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml