I'd advocate toward qualifying modules more systematically, even for the modules defined by cooked-validators itself.
As another illustration, qualifying imports from Cooked.Tweak.Common would allow to rename viewTweak, setTweak, &c. into view, set, &c. They would then be used, in other modules as Tweak.view, Tweak.set, &c.
There have been several occurrences of doubts regarding variable naming (see for instance https://github.com/tweag/plutus-libs/pull/270#discussion_r1106345175).
I'd advocate toward qualifying modules more systematically, even for the modules defined by cooked-validators itself.
As another illustration, qualifying imports from
Cooked.Tweak.Common
would allow to renameviewTweak
,setTweak
, &c. intoview
,set
, &c. They would then be used, in other modules asTweak.view
,Tweak.set
, &c.