sig
  type t = (int32, Bigarray.int32_elt, Bigarray.c_layout) Bigarray.Array1.t
  exception Malformed_code
  val validate : Main.Type.UCS4.t -> unit
  val get : Main.Type.UCS4.t -> int -> Main.Type.UChar.t
  val init : int -> (int -> Main.Type.UChar.t) -> Main.Type.UCS4.t
  val length : Main.Type.UCS4.t -> int
  type index = int
  val nth : Main.Type.UCS4.t -> int -> Main.Type.UCS4.index
  val first : Main.Type.UCS4.t -> Main.Type.UCS4.index
  val last : Main.Type.UCS4.t -> Main.Type.UCS4.index
  val look : Main.Type.UCS4.t -> Main.Type.UCS4.index -> Main.Type.UChar.t
  val out_of_range : Main.Type.UCS4.t -> Main.Type.UCS4.index -> bool
  val compare_index :
    Main.Type.UCS4.t -> Main.Type.UCS4.index -> Main.Type.UCS4.index -> int
  val next : Main.Type.UCS4.t -> Main.Type.UCS4.index -> Main.Type.UCS4.index
  val prev : Main.Type.UCS4.t -> Main.Type.UCS4.index -> Main.Type.UCS4.index
  val move :
    Main.Type.UCS4.t -> Main.Type.UCS4.index -> int -> Main.Type.UCS4.index
  val iter : (Main.Type.UChar.t -> unit) -> Main.Type.UCS4.t -> unit
  val compare : Main.Type.UCS4.t -> Main.Type.UCS4.t -> int
  module Buf :
    sig
      type buf
      val create : int -> Main.Type.UCS4.Buf.buf
      val contents : Main.Type.UCS4.Buf.buf -> Main.Type.UCS4.t
      val clear : Main.Type.UCS4.Buf.buf -> unit
      val reset : Main.Type.UCS4.Buf.buf -> unit
      val add_char : Main.Type.UCS4.Buf.buf -> Main.Type.UChar.t -> unit
      val add_string : Main.Type.UCS4.Buf.buf -> Main.Type.UCS4.t -> unit
      val add_buffer :
        Main.Type.UCS4.Buf.buf -> Main.Type.UCS4.Buf.buf -> unit
    end
end