knave 0.14.17

A Lisp programming language for humans and agents that infers types and ownership and compiles to readable Rust
Documentation
1
2
3
4
5
6
7
8
9
10
11
use rustc_hash::FxHashMap;

use super::typed::{ClosureType, TypedDefinition};
use crate::core::{BindingId, CoreModule};

#[derive(Clone, Copy)]
pub(super) struct CheckedProgram<'c> {
    pub(super) modules: &'c [CoreModule],
    pub(super) definitions: &'c FxHashMap<BindingId, TypedDefinition>,
    pub(super) closures: &'c [ClosureType],
}