Up
–
odoc
»
Odoc_model
»
Paths
»
Identifier
» OdocId
Module
Identifier.OdocId
type
t
=
Id.odoc_id
type
t_pv
=
Id.odoc_id_pv