m3tk/src/pl/M3LOpaque.i3


INTERFACE M3LOpaque;

Copyright

IMPORT M3Context;

PROCEDURE SetReveal(c: M3Context.T) RAISES {};
Set up the tmp_rev_type_spec attribute for opaque types to be the same as the sm_concrete_type_spec.

END M3LOpaque.