pub fn add(trace: Vec<CLoc, Global>) -> Trace
Expand description

Registers a list of locations and returns its UID.