Module Tezos_raw_protocol_017_PtNairob.Script_string

Strings of printable characters

type repr
type t =
  1. | String_tag of repr

t is made algebraic in order to distinguish it from the other type parameters of Script_typed_ir.ty.

type Tezos_protocol_environment_017_PtNairob.Error_monad.error +=
  1. | Non_printable_character of int * string
val empty : t
val to_string : t -> string
val compare : t -> t -> int
val length : t -> int
val concat_pair : t -> t -> t
val concat : t list -> t
val sub : t -> int -> int -> t