BuiltinCallback

export type BuiltinCallback = (
  args: CekValue[],
  ctx: BuiltinContext
) => CekValue