pub fn formal(formal_index: TempIndex, func_env: &FunctionEnv) -> Self {
        assert!(
            func_env.is_parameter(formal_index),
            "Attempting to create formal from local index"
        );
        Self::footprint(AccessPath::from_index(formal_index, func_env))
    }
/// Create a footprint address read from formal `temp_index`
Create a footprint address read from formal `temp_index`
Create a footprint address read from formal ` temp_index `
pub fn formal(formal_index: TempIndex, func_env: &FunctionEnv) -> Self {
        assert!(
            func_env.is_parameter(formal_index),
            "Attempting to create formal from local index"
        );
        Self::footprint(AccessPath::from_index(formal_index, func_env))
    }
pub fn formal ( formal_index : TempIndex , func_env : & FunctionEnv ) -> Self { assert ! ( func_env is_parameter ( formal_index ) " " ) ; Self :: footprint ( AccessPath :: from_index ( formal_index , func_env ) ) }
Create a footprint address read from formal `temp_index`
Create a footprint address read from formal ` temp_index `
formal_index
TempIndex
func_env
&FunctionEnv