Bounded.Make
module Bound : sig ... end
module P : sig ... end
module V (L : sig ... end) : sig ... end
module Encoding (L : sig ... end) : sig ... end