Previous
Up
Next
Module
ExtString
module
ExtString:
sig end
Additional functions for string manipulations.
module
String
:
sig end