Skip to main content

make_ctr_type

Function make_ctr_type 

Source
pub fn make_ctr_type(type_name: Name, fields: &[Type], vars: &[Name]) -> Type