Searched refs:CodegenOptions (Results 1 – 4 of 4) sorted by relevance
15 options: &codegen::CodegenOptions, in compile() argument39 options: &codegen::CodegenOptions, in from_files() argument
18 pub struct CodegenOptions { struct62 options: &CodegenOptions, in codegen() argument174 fn generate_rust(&self, options: &CodegenOptions) -> String { in generate_rust()186 fn generate_header(&self, code: &mut String, options: &CodegenOptions) { in generate_header() argument458 options: &CodegenOptions, in generate_internal_term_constructors() argument
206 let mut options = isle::codegen::CodegenOptions::default(); in run_compilation()
211 pub struct CodegenOptions {634 pub codegen: CodegenOptions,