16 val f
= _import
"f": S
.t
-> unit
;
18 val _
= fn () => f S
.x
20 val e
= _export
"g1": (S
.t
-> unit
) -> unit
;
22 val _
= fn () => e S
.g
39 val p
= _import
"f": S
.t
;
41 val _
= fn () => S
.f p
43 val e
= _export
"g2": S
.t
-> unit
;
45 val _
= fn () => e S
.x