On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-future
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
module T : Applicable.SSignature
('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 constuctor.
type 'a arg = 'a T.t'a arg is an Applicable value
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.
On This Page