module Deriv: Deriv with module Eval = Eval with type Hyper.t = [ `Log_ell of int ]
Deriv
with module Eval = Eval
with type Hyper.t = [ `Log_ell of int ]