2 ms·nix modules have types. in flakes they can be quasi statically verifiedby dlahoda 3y agonix modules have types. in flakes they can be quasi statically verified