Function cleaver::fe::check

pub fn check(functions: &Functions) -> Result<(), CheckError>

Run checks on parsed input. This includes type checks as well as semantic checks.