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