Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Source file UserContentData.ml
123456789101112131415161718192021(** Reported reasons for an offset to be invalid. *)typeinvalid_offset=[`Negativeofint(** Negative offsets *)|`Beyond_end_of_fileofint*int(** Offsets beyond the end of file *)|`Within_newlineofint*(int*int)(** Offsets in the middle of a multi-byte newline sequence *)](** Reported reasons for a position to be invalid. *)typeinvalid_position=[`Offsetofinvalid_offset(** Invalid offsets *)|`Incorrect_start_of_lineofint*int(** The start of number is wrong (assuming that the offset is correct). The pair [(m, n)] means that the current [start_of_line] is [m] but the correct value should be [n]. *)|`Incorrect_line_numofint*int(** The line number is wrong (assuming that the offset is correct). The pair [(m, n)] means that the current [start_of_line] is [m] but the correct value should be [n]. *)](** Reported reasons for a range to be invalid. *)typeinvalid_range=[`Beginofinvalid_position(** The first position of a range is invalid. *)|`Endofinvalid_position(** The second position of a range is invalid. *)|`End_of_fileofinvalid_position(** The range is a special end-of-file marking, but the position is invalid. *)|`Not_end_of_fileofint*int(** The range is a special end-of-file marking, but the offset of the position is not at the end of file. The pair [(m, n)] means that the current offset is [m] but the length or size of the source is [n]. *)]