| Java |
Manipulation of Java references.
|
| JavaApplet |
Support for Java applets.
|
| JavaArray |
Support for unspecialized arrays.
|
| JavaArraySignature |
Signature of primitive arrays.
|
| JavaBoolean |
Utility functions for
boolean type and Boolean class.
|
| JavaBooleanArray |
Support for
boolean[] type.
|
| JavaByte |
Support for
byte type and Byte class.
|
| JavaByteArray |
Support for
byte[] type.
|
| JavaCalendar |
Utility functions for Java calendars.
|
| JavaChar |
Utility functions for
char type and Character class.
|
| JavaCharArray |
Support for
char[] type.
|
| JavaDate |
Utility functions for Java dates.
|
| JavaDouble |
Support for
double type and Double class.
|
| JavaDoubleArray |
Support for
double[] type.
|
| JavaError |
Utility functions for Java errors.
|
| JavaException |
Utility functions for Java exceptions.
|
| JavaFloat |
Support for
float type and Float class.
|
| JavaFloatArray |
Support for
float[] type.
|
| JavaIOStreams |
Utility functions for Java streams, and conversions between Java
streams and OCaml channels.
|
| JavaInt |
Support for
int type and Integer class.
|
| JavaIntArray |
Support for
int[] type.
|
| JavaLocale |
Utility functions for Java locales.
|
| JavaLong |
Support for
long type and Long class.
|
| JavaLongArray |
Support for
long[] type.
|
| JavaObject |
Utility functions for Java objects.
|
| JavaPervasives |
An initially-opened module for Java.
|
| JavaProperties |
Utility functions for Java properties.
|
| JavaRandom |
Pseudorandom number generators.
|
| JavaReferenceArray |
Support for
pack.Class[] and prim[]...[] types.
|
| JavaRuntime |
Runtime information.
|
| JavaServlet |
Support for Java servlets.
|
| JavaShort |
Support for
short type and Short class.
|
| JavaShortArray |
Support for
short[] type.
|
| JavaString |
Utility functions for Java strings.
|
| JavaStringBuilder |
Utility functions for string builders.
|
| JavaStringFormat |
Support for
Format module for Java strings.
|
| JavaStringPrintf |
Support for
Printf module for Java strings.
|
| JavaSystem |
Miscellaneous (properties, time, garbage collection, environment).
|
| JavaThrowable |
Utility functions for Java throwables.
|
| JavaTimeZone |
Utility functions for Java time zones.
|