Here is a list of all typedefs with links to the structures/unions they belong to:

• element_type : purify::SpanAtLeast< MinSize, T >
• error_type : purify::Expected< T, E >, purify::Expected< void, E >
• Term : purify::Expr
• unexpected_type : purify::Expected< T, E >, purify::Expected< void, E >
• value_type : purify::Expected< T, E >, purify::Expected< void, E >