INTERFACE M3LOpaque;

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.