B::hooks::op::check provides an interface for xs modules to hook into the callbacks of pl_check, which is part of perl's core. it allows a c function to be invoked as the last stage of optree compilation, depending on the given op code number (op_type).