Up
–
rocq-runtime
»
Libobject
» ExportObj
Module
Libobject.ExportObj
type
t
=
{
mpl :
(
open_filter
*
Names.ModPath.t
)
list
;
}