Module type CString.ExtS
We include the standard library
include S
val length : string -> int
val get : string -> int -> char
val set : bytes -> int -> char -> unit
val create : int -> bytes
val make : int -> char -> string
val init : int -> (int -> char) -> string
val copy : string -> string
val sub : string -> int -> int -> string
val fill : bytes -> int -> int -> char -> unit
val blit : string -> int -> bytes -> int -> int -> unit
val concat : string -> string list -> string
val iter : (char -> unit) -> string -> unit
val iteri : (int -> char -> unit) -> string -> unit
val map : (char -> char) -> string -> string
val mapi : (int -> char -> char) -> string -> string
val trim : string -> string
val escaped : string -> string
val index : string -> char -> int
val index_opt : string -> char -> int option
val rindex : string -> char -> int
val rindex_opt : string -> char -> int option
val index_from : string -> int -> char -> int
val index_from_opt : string -> int -> char -> int option
val rindex_from : string -> int -> char -> int
val rindex_from_opt : string -> int -> char -> int option
val contains : string -> char -> bool
val contains_from : string -> int -> char -> bool
val rcontains_from : string -> int -> char -> bool
val uppercase : string -> string
val lowercase : string -> string
val capitalize : string -> string
val uncapitalize : string -> string
val uppercase_ascii : string -> string
val lowercase_ascii : string -> string
val capitalize_ascii : string -> string
val uncapitalize_ascii : string -> string
val drop_simple_quotes : string -> string
Remove the eventual first surrounding simple quotes of a string.
val quote_coq_string : string -> string
Quote a string according to Coq conventions (i.e. doubling double quotes and surrounding by double quotes)
val unquote_coq_string : string -> string option
Unquote a quoted string according to Coq conventions (i.e. removing surrounding double quotes and undoubling double quotes); returns
None
if not a quoted string
val string_index_from : string -> int -> string -> int
As
index_from
, but takes a string instead of a char as pattern argument
val string_contains : where:string -> what:string -> bool
As
contains
, but takes a string instead of a char as pattern argument
val conjugate_verb_to_be : int -> string
conjugate_verb_to_be
returns "is" whenn=1
and "are" otherwise
val is_sub : string -> string -> int -> bool
is_sub p s off
tests whethers
containsp
at offsetoff
.
Generic operations
*
module Pred : Predicate.S with type elt = t
module List : CList.MonoS with type elt = t
Association lists with
string
as keys