sig
  module Make :
    functor (E : Env_intf.S) ->
      sig val setup : ?ctx_narrow:bool -> has_rw:bool -> unit -> unit end
  val extension : Extensions.t
end