type_check_book

Function type_check_book 

Source
pub fn type_check_book(ctx: &mut Ctx<'_>) -> Result<(), Diagnostics>