Script_string (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Script

type repr

type t =

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

type Mavryk_protocol_environment_001_PtAtLas.Error_monad.error +=

val empty : t

val of_string : 
  string ->
  t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

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