contrib/extraction/test/custom/Mapcard


1
2
3
4
5
6

Require Plus.
Extraction NoInline plus_is_one.
Require Addr.
Extraction NoInline ad_double ad_double_plus_un.
Require Map.
Extraction Inline Map_rec.