Trait ExpressionState

Source

pub trait ExpressionState:
    Serialize
    + Clone
    + DeserializeOwned
    + Debug
    + Encode
    + for<'a> Decode<GammaLoopContextContainer<'a>>
    + Default {
    // Required methods
    fn forget_type(data: SymbolicExpression<Self>) -> PythonState;
    fn get_expression(
        num: &mut PythonState,
    ) -> Result<SymbolicExpression<Self>, NumeratorStateError>;

    // Provided methods
    fn new(expression: Atom) -> SymbolicExpression<Self> { ... }
    fn new_color(expression: Atom) -> SymbolicExpression<Self> { ... }
}