Module Preface_stdlib.ExnSource

Built-in exception used along Preface.

Types

Sourcetype t = exn

Alias of exn as Exn.t.

Exceptions

Built-in exceptions.

Sourceexception Negative_position of int

Occurs when an integer should be positive.

Addtional functions

Additional functions to facilitate practical work with Exn.t.

Sourceval check_position : int -> (int, t) result

Check if a position is positive.

Sourceval equal : t -> t -> bool

Equality between Exn.t.

Sourceval pp : Format.formatter -> t -> unit

Formatter for pretty-printing for Exn.t.