Plasma GitLab Archive
Projects Blog Knowledge

Class Uq_engines.delegate_engine


class ['a] delegate_engine : 'a #engine -> ['a] engine
Turns an engine value into a class

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