The type "PairFunctionModule" is defined in /pliant/appli/type_browser/internals.pli module.


Field Type
f (Pointer Function)
m (Pointer Module)

Method name
Arguments
Result
f
(/pliant/appli/type_browser/internals.pli)
Name
 
 
Type
PairFunctionModule
(Pointer Function)
Access
Arv
AwmC
m
(/pliant/appli/type_browser/internals.pli)
Name
 
 
Type
PairFunctionModule
(Pointer Module)
Access
Ar
AwmC

(Link PairFunctionModule) -> PairFunctionModule
(/pliant/language/basic/safe.pli)
implicit
(Pointer PairFunctionModule) -> PairFunctionModule
(/pliant/language/basic/safe.pli)
implicit