pub fn emit_sva_module(props: &[SvaProperty]) -> String
Emit multiple SVA properties as a complete module.