Class Odoc_model__Maps.paths

inherit identifier
inherit path
inherit fragment
inherit reference