builtin: base types and constructors

This module defines some types and exceptions for which the language provides special syntax, and are therefore treated specially by the compiler.
type int
type float
type string
type char
The types of integers, floating-point numbers, character strings, and characters, respectively.
type exn
The type of exception values.
type bool = false | true
The type of boolean values.
type 'a vect
The type of arrays whose elements have type 'a.
type unit = ()
The type of the unit value.
type 'a list = [] | prefix :: of 'a * 'a list
The type of lists.
type 'a option = None | Some of 'a
The type of optional values.
exception Match_failure of string * int * int
The exception raised when a pattern-matching fails. The argument indicates the position in the source code of the pattern-matching (source file name, position of the first character of the matching, position of the last character.