SMV: extract smv_typecheckt::set_type_union
#1564
Merged
Loading
smv_typecheckt::set_type_union
#1564