Function decide 

pub fn decide(
    left: &Side<'_>,
    right: &Side<'_>,
    functions: &[(String, String)],
    opts: &Options,
) -> Result<Report, MiterError>

Decide left against right over their units, the functions of functions (each a left function, the right one proven equal to it) the only ones identified.