aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction/test/custom/Mapiter
blob: ef57348fbcc0f448999d997ae3b5da00e3d94a2b (plain) 
1
2
3
4

Require Addr. 
Extraction NoInline ad_double ad_double_plus_un.
Require Map.
Extraction Inline Map_rec Map_rect.
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-09 05:23:45 +0000