(d) ( product -- value )


Vocabulary
koszul

Inputs
productan object


Outputs
valuean object


Definition