A structure which able to evaluate a function over S.
S
Readonly
Applies the function to the value over S.
A structure which able to evaluate a function over
S.