Module Lang.ModuleSubstitution
type t
=
{
id : Paths.Identifier.Module.t;
doc : Comment.docs;
manifest : Paths.Path.Module.t;
}
Lang.ModuleSubstitution
type t
=
{
id : Paths.Identifier.Module.t; |
doc : Comment.docs; |
manifest : Paths.Path.Module.t; |
}