simple example mentioned at https://docs.minaprotocol.com/zkapps/o1js/recursion gives typescript error. it would be great if someone can tell how to fix it with the latest version.
Error:
Type '(publicInput: Field) => void' is not assignable to type '(...args: TupleToInstances<[]>) => void'.
Types of parameters 'publicInput' and 'args' are incompatible.
Property '0' is missing in type '[] & any[]' but required in type '[publicInput: Field]'.ts(2322)
proof_system.d.ts(227, 5): The expected type comes from property 'method' which is declared here on type '{ privateInputs: []; method(...args: TupleToInstances<[]>): void; }'