pub fn entrypoint(
    holder: &FunctionTargetsHolder,
    target: FunctionTarget<'_>,
    ty_args: &[BaseType],
    typed_args: Vec<TypedValue>,
    skip_specs: bool,
    level: usize,
    global_state: &mut GlobalState
) -> ExecResult<Vec<TypedValue>>
Expand description

Entrypoint of the interpretation logic