pub type DefaultHash = HashFunctionWrapper<CoreWrapper<CtVariableCoreWrapper<Blake2bVarCore, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>>, 32>;
struct DefaultHash(/* private fields */);