Function sylt_typechecker::typecheck[][src]

pub fn typecheck(prog: &Prog, verbosity: u32) -> Result<(), Vec<Error>>