Function check 

pub fn check(stmts: &[Stmt<'_>], interner: &Interner) -> Result<(), String>

The first function the program defines a real number by that cannot define one, refused in words naming it; Ok when there is none.