INNER CODE UNIT · Rust

default

lurk-lab/lurk-beta · foil/src/lib.rs:96

    fn default() -> Self {
        Self {
            dedup_var_names: true,
        }
    }
}

#[derive(Debug, Clone)]
pub struct Foil<T: PartialEq, M: MetaData> {
    graph: G<M>,
    merge_queue: VecDeque<(Id, Id)>,
    fun_map: HashMap<String, IndexSet<Id>>,
    var_map: HashMap<Var, IndexSet<Id>>,
    var_counter: usize,
    constants: HashMap<Var, T>,
    schema: Schema<M>,
    state: State,
    config: FoilConfig,

View source record →