pub fn compile_clauses_reporting(
ctx: &Context,
scrutinees: &[Term],
result_type: &Term,
clauses: &[Clause],
) -> Result<(Term, CompileReport), KernelError>Expand description
compile_clauses, plus what the compiler noticed.
pub fn compile_clauses_reporting(
ctx: &Context,
scrutinees: &[Term],
result_type: &Term,
clauses: &[Clause],
) -> Result<(Term, CompileReport), KernelError>compile_clauses, plus what the compiler noticed.