Module Wd_universe

module Wd_universe: sig .. end

Contains the implementation of Wd_types.universe_type

class universe : Wd_types.application_type -> Wd_types.universe_type

Implements the universe.