Up
Module
Eval
(
F
:
Ordered_field
)
Parameters
F
:
Ordered_field
Signature
val
eval : 'a
t
-> f:('a ->
F.t
) ->
F.t