tiny.smt.Term

1/// A term, named by its index in the table of the `Context` that built it. Every builder returns2/// one and every operand is one, so callers pass terms around as plain integers. The index means3/// nothing in another `Context`. The index stays valid until its `Context` is freed.4pub const Term = u32;

1pub const Term = term.Term;