Lines Matching refs:is_opaque
505 (** [is_opaque sty] returns [true] if the structure type [sty] is opaque.507 val is_opaque : lltype -> bool