Function milcheck::logic

pub fn logic(
    tx: Sender<&'static str>, 
    rx: Receiver<&'static str>, 
    render: &mut Render
) -> Result<Vec<MirrorState>, Error>