module Wd_universe: sig end
sig end
Wd_types.universe_type
class universe : Wd_types.application_type -> Wd_types.universe_type
Wd_types.application_type -> Wd_types.universe_type