pub fn check(module: &CheckedModule) -> Result<(), Error>Expand description
Check that module is fit to be a program’s entry point: it exposes main, and
main’s solved type is Task.Task () as zelkova-core declares it.
pub fn check(module: &CheckedModule) -> Result<(), Error>Check that module is fit to be a program’s entry point: it exposes main, and
main’s solved type is Task.Task () as zelkova-core declares it.