pub broadcast group fn asn1_disjointness_lemmas()Expand description
Small ASN.1-specific automation group for handwritten backend formats. Generated schemas use explicit local FIRST-set certificates instead of relying on global quantifier saturation.
broadcast group