/// Emit code for the function specification.
Emit code for the function specification.
Emit code for the function specification .
fn generate_function_spec(
        &self,
        func_target: &FunctionTarget<'_>,
        entry_point: FunctionEntryPoint,
    ) {
        SpecTranslator::new(self.writer, func_target.clone(), self.options, true)
            .translate_conditions(entry_point);
    }
fn generate_function_spec ( & self , func_target : & FunctionTarget < ' _ > , entry_point : FunctionEntryPoint , ) { SpecTranslator :: new ( self . writer , func_target . clone ( ) , self . options , true ) . translate_conditions ( entry_point ) ; }
Emit code for the function specification.
Emit code for the function specification .
&self
func_target
&FunctionTarget<'_>
entry_point
FunctionEntryPoint