Docs GODI Archive
Projects Blog Knowledge

Look up function:

(e.g. "List.find" or "keysym")
More options

Class Uq_engines.meta_engine


class ['a] meta_engine : 'a #engine -> ['a final_state] engine
maps the final state s to `Done s

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