Module Mavryk_raw_protocol_001_PtAtLas.Non_empty_string

type t = private string

A string that is guaranteed to be non-empty

include Mavryk_protocol_environment_001_PtAtLas.Compare.S with type t := t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t
val of_string : string -> t option

Returns None if the original string is empty.

val of_string_exn : string -> t

Fails with Invalid_argument if the original string is empty.

val cat2 : t -> ?sep:string -> t -> t

cat2 a b concatenates a and b. cat2 a ~sep b concatenates a, sep, and b.