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