Up
—
package
core_extended
Module
Core_extended.Flang.Eval
Parameters
F
:
Ordered_field_with_exponential
Signature
val
eval :
'a
t
‑>
f:(
'a
‑>
F.t
)
‑>
F.t