package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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_013_PtJakart.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