Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Variadic argument list.
('f,'r) t
is a list of arguments, where 'f
defines the arrow type of the arguments, and 'r
is the return type. C.f., 'f
and 'r
with the first and last parameter of the format
type constructor.
args x
creates a singleton list of arguments that can be applied to a function that takes x
argument, and returns a value of type 'b
.
args $x
appends argument x
to a list of arguments args
.