pub fn decide_unrolled(
left: &Unrolled<'_>,
right: &Unrolled<'_>,
functions: &[(String, String)],
opts: &Options,
) -> Result<Report, MiterError>Expand description
decide over sides unrolled as each says: the claims of one name, one on each side, are an output pair.