pub fn move_declared(
        abilities: BTreeSet<Ability>,
        name: Symbol,
        type_formals: Vec<StructTypeParameter>,
        fields: Fields<Type>,
        invariants: Vec<Invariant>,
    ) -> Self {
        StructDefinition_ {
            abilities,
            name: StructName(name),
            type_formals,
            fields: StructDefinitionFields::Move { fields },
            invariants,
        }
    }
/// 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
/// Does not verify the correctness of any internal properties, e.g. doesn't check that the
/// fields do not have reference 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
Does not verify the correctness of any internal properties, e.g. doesn't check that the
fields do not have reference 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 Does not verify the correctness of any internal properties e . g . doesn ' t check that the fields do not have reference types
pub fn move_declared(
        abilities: BTreeSet<Ability>,
        name: Symbol,
        type_formals: Vec<StructTypeParameter>,
        fields: Fields<Type>,
        invariants: Vec<Invariant>,
    ) -> Self {
        StructDefinition_ {
            abilities,
            name: StructName(name),
            type_formals,
            fields: StructDefinitionFields::Move { fields },
            invariants,
        }
    }
pub fn move_declared ( abilities : BTreeSet < Ability > , name : Symbol , type_formals : Vec < StructTypeParameter > , fields : Fields < Type > , invariants : Vec < Invariant > , ) -> Self { StructDefinition_ { abilities , name : StructName ( name ) , type_formals , fields : StructDefinitionFields :: Move { fields } , invariants , } }
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
Does not verify the correctness of any internal properties, e.g.
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 Does not verify the correctness of any internal properties e . g .
abilities
BTreeSet<Ability>
name
Symbol
type_formals
Vec<StructTypeParameter>
fields
Fields<Type>
invariants
Vec<Invariant>