egglog/sort/
unit.rs

1use super::*;
2
3#[derive(Debug)]
4pub struct UnitSort;
5
6impl BaseSort for UnitSort {
7    type Base = ();
8
9    fn name(&self) -> &str {
10        "Unit"
11    }
12
13    fn reconstruct_termdag(
14        &self,
15        _base_values: &BaseValues,
16        _value: Value,
17        termdag: &mut TermDag,
18    ) -> TermId {
19        termdag.lit(Literal::Unit)
20    }
21}