IO.BigEndianSame as operations above, but use big-endian encoding
val read_ui16 : input -> intval read_i16 : input -> intval read_i31 : input -> intval read_i32 : input -> intval read_i32_as_int : input -> intval read_real_i32 : input -> int32val read_i64 : input -> int64val read_float32 : input -> floatval read_double : input -> floatval write_ui16 : 'a output -> int -> unitval write_i16 : 'a output -> int -> unitval write_i31 : 'a output -> int -> unitval write_i32 : 'a output -> int -> unitval write_real_i32 : 'a output -> int32 -> unitval write_i64 : 'a output -> int64 -> unitval write_float32 : 'a output -> float -> unitval write_double : 'a output -> float -> unit