Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Vlt.Utils
SourceThis module regroups miscellaneous utility functions.
Prints the passed string if Bolt verbose mode is enabled, does nothing otherwise.
The type of container mapping a string to an element, whatever their implementation is.
val make_container_functions :
unit ->
'a container * (string -> 'a -> unit) * ('a -> string) * (string -> 'a)
make_container_functions ()
returns a quadruple with the following elements:
Not_found
if such an element does not exist.Returns the identifier of the current thread.
To be called when entering a critical section.
To be called when leaving a critical section.
split seps s
returns a list of substrings of s
separeted by contiguous substrings of elements from seps
.
Returns a copy of the string without leading whitespace.
Returns a copy of the string without trailing whitespace.
Returns a copy of the string without leading and trailing whitespace.