/tests/fstar/rename_attribute/

• ../
• Primitives.fst
• RenameAttribute.Clauses.Template.fst
• RenameAttribute.Clauses.fst
• RenameAttribute.Funs.fst
• RenameAttribute.Types.fst