Module Imandra_prelude.LString

type t = LChar.t list
val empty : t
val of_list : 'a -> 'a
val to_string : t -> string
val of_string : string -> LChar.t list
val length : t -> Z.t
val pp : Stdlib.Format.formatter -> LChar.t list -> unit
val len_pos : t -> bool
val len_zero_inversion : t -> bool
val append : t -> t -> t
val (^^) : t -> t -> t
val for_all : ( LChar.t -> bool ) -> t -> bool
val exists : ( LChar.t -> bool ) -> t -> bool
val concat : t -> LChar.t list list -> LChar.t list
val is_printable : t -> bool
val sub : t -> int -> int -> t
val prefix : t -> t -> bool
val suffix : t -> t -> bool
val contains : sub:t -> t -> bool
val take : int -> t -> t
val drop : int -> t -> t