pub fn native(
        abilities: BTreeSet<Ability>,
        name: Symbol,
        type_formals: Vec<StructTypeParameter>,
    ) -> Self {
        StructDefinition_ {
            abilities,
            name: StructName(name),
            type_formals,
            fields: StructDefinitionFields::Native,
            invariants: vec![],
        }
    }
/// Creates a new StructDefinition from the abilities, the string representation of the name,
/// and the user specified fields, a map from their names to their types
Creates a new StructDefinition from the abilities, the string representation of the name,
and the user specified fields, a map from their names to their types
Creates a new StructDefinition from the abilities the string representation of the name and the user specified fields a map from their names to their types
pub fn native(
        abilities: BTreeSet<Ability>,
        name: Symbol,
        type_formals: Vec<StructTypeParameter>,
    ) -> Self {
        StructDefinition_ {
            abilities,
            name: StructName(name),
            type_formals,
            fields: StructDefinitionFields::Native,
            invariants: vec![],
        }
    }
pub fn native ( abilities : BTreeSet < Ability > , name : Symbol , type_formals : Vec < StructTypeParameter > , ) -> Self { StructDefinition_ { abilities , name : StructName ( name ) , type_formals , fields : StructDefinitionFields :: Native , invariants : vec ! [ ] , } }
Creates a new StructDefinition from the abilities, the string representation of the name,
and the user specified fields, a map from their names to their types
Creates a new StructDefinition from the abilities the string representation of the name and the user specified fields a map from their names to their types
abilities
BTreeSet<Ability>
name
Symbol
type_formals
Vec<StructTypeParameter>