pub fn bound_from_beta( b: &Beta, parts: &EnvMBE<Ast>, quote_depth: i16) -> Vec<Name>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where A: Allocator,
impl<A> Write for Vec<u8, A> where A: Allocator,