Closed dawedawe closed 3 months ago
Currently, our auto-generated signatures suffer from a missing module expression and missing opens. These make their way into the impl file via the TopCode part. This PR uses this mechanism to put these lines into the sig file, too.
Currently, our auto-generated signatures suffer from a missing module expression and missing opens. These make their way into the impl file via the TopCode part. This PR uses this mechanism to put these lines into the sig file, too.