summaryrefslogtreecommitdiff
path: root/tests/fstar/rename_attribute
ModeNameSize
-rw-r--r--Primitives.fst30617logplain
-rw-r--r--RenameAttribute.Clauses.Template.fst627logplain
-rw-r--r--RenameAttribute.Clauses.fst566logplain
-rw-r--r--RenameAttribute.Funs.fst2402logplain
-rw-r--r--RenameAttribute.Types.fst774logplain