module Eval: functor (F : Ordered_field) -> sig .. end
functor (
F
:
Ordered_field
) ->
sig
end
val eval : 'a Flang.t -> f:('a -> F.t) -> F.t
'a Flang.t -> f:('a -> F.t) -> F.t