Support both ns.doc/res.doc and ns.optional/res.optional for diff…#642

Merged

cristianoc merged 1 commit intomasterfrom

Nov 28, 2022

Commits on Nov 28, 2022

Support both ns.doc/res.doc and ns.optional and res.optional for different compiler versions.
cristianoc
committed