refactor: bundle wn
and wr
into DivModState
#191
copyright-header.yml
on: pull_request
check-lean-files
23s
wn
and wr
into DivModState
#191