Static orca::kani::CALLSITE

source ·
static CALLSITE: DefaultCallsite