Method get_name

crates/common/src/env.rs:1399–1410

Returns the name of this constant.

(&self)

          hasher.update(name.get_hash().as_bytes());
        }
        hasher.update(&v.num_params.to_le_bytes());
        hasher.update(&v.num_indices.to_le_bytes());
        hasher.update(&v.num_motives.to_le_bytes());
        hasher.update(&v.num_minors.to_le_bytes());
        hasher.update(&(v.rules.len() as u64).to_le_bytes());
        for rule in &v.rules {
          hash_recursor_rule(rule, &mut hasher);
        }
        hasher.update(&[u8::from(v.k)]);
        hasher.update(&[u8::from(v.is_unsafe)]);
      },
    }
    hasher.finalize()
  }