Class Wd_universe.universe

class universe : Wd_types.application_type -> Wd_types.universe_type

Implements the universe. A universe is always bound to a certain application, so you must pass this application on creation