codegen_book

kind_checker::compiler

Function codegen_book 

Source 
pub fn codegen_book(
    book: &Book,
    check_coverage: bool,
    functions_to_check: Vec<String>,
) -> File
Expand description

Compiles a book into an format that is executed by the type checker in HVM.