vstd::prelude

Function extra_dependency

pub fn extra_dependency<F>(_f: F)