aboutsummaryrefslogtreecommitdiff
path: root/lib
ModeNameSize
-rw-r--r--apply_prefix.typ578logplain
-rw-r--r--assert_aeq.typ109logplain
-rw-r--r--unify.typ366logplain