charon_
lib
0.1.139
Module remove_
adt_
clauses
Module Items
Structs
In charon_
lib::
transform::
simplify_
output
charon_lib
::
transform
::
simplify_output
Module
remove_adt_clauses
Copy item path
Source
Structs
§
Remove
AdtClauses
Visitor
🔒
Transform