Function annotate_happens_after

pub fn annotate_happens_after(obj: *const ())

Available on crate feature client_requests_defs only.

See annotate_happens_before