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