Function eval_choreography 

pub fn eval_choreography(
    p: &SpatialProgram,
    inputs: &Inputs,
) -> Result<Outputs, ChoreoFault>

The meaning of a scheduled program under the round-robin scheduler.