Module Stable.Perms

module Perms: Perms.Stable

module V1: sig .. end
module Export: module type of Export