Constant Hacl_Streaming_Types_Success

pub const Hacl_Streaming_Types_Success: u32 = 0;