Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Microexecution library.
Microexecution is an execution of arbitrary pieces of code, under random context.
The library provides two classes:
module Std : sig ... end