Interesting. I would have removed all prefixes that are not strictly necessary. Why do you think having the prefixes is a good thing?
/js On Sat, Sep 23, 2023 at 10:34:21AM +0200, David Martínez García wrote: > Hello, > > > Using the prefix is perhaps redundant but surely not wrong. > > Yes, I definetely agree with this. > > > Which consistency are you looking for, use of prefixes only when > > absolutely necessary, or always use prefixes? > > My proposal is to always use prefixes when defining typedefs that point to > other typedefs different than the base/primitive ones (such as string, > uint32, enumeration, etc.). > > Thank you. > > - David. -- Jürgen Schönwälder Constructor University Bremen gGmbH Phone: +49 421 200 3587 Campus Ring 1 | 28759 Bremen | Germany Fax: +49 421 200 3103 <https://constructor.university/> _______________________________________________ netmod mailing list [email protected] https://www.ietf.org/mailman/listinfo/netmod
