Module Higher_order

module Higher_order: sig .. end

HO



module type S = sig .. end
module Make: 
functor (E : Env.S) -> S with module Env = E

As Extension


val extension : Extensions.t