pub fn eval_choreography_dry_at(
p: &SpatialProgram,
counts: &[usize],
) -> Result<Trace, ChoreoFault>Expand description
eval_choreography_dry with each trip t counting counts[t].
pub fn eval_choreography_dry_at(
p: &SpatialProgram,
counts: &[usize],
) -> Result<Trace, ChoreoFault>eval_choreography_dry with each trip t counting counts[t].