Module Preface_coreSource

Sourcemodule Fun : sig ... end
Sourcemodule Monoid : sig ... end

A generic monoid.

Sourcemodule Nonempty_list : sig ... end

A Non empty list. The module allows to deal with non-empty list. Lists where the minimum size is one.

Sourcemodule Shims : sig ... end

Some Hook over the standard library.

Sourcemodule Void : sig ... end

Void describes unhabited type. A type that is not representable.