Function empty_env

crates/compile/src/graph.rs:196–201

()

    );

  //assert_eq!(env.len(), out_refs.len());
  //assert_eq!(out_refs.len(), in_refs.len());
  RefGraph { out_refs, in_refs }
}

pub fn get_constant_info_references(constant_info: &ConstantInfo) -> NameSet {
  let cache = &mut FxHashMap::default();
  match constant_info {
    ConstantInfo::AxiomInfo(val) => get_expr_references(&val.cnst.typ, cache),