Preface_coremodule Either : sig ... endSome helpers over Either.t
module Fun : sig ... endmodule Monoid : sig ... endA generic monoid.
module Nonempty_list : sig ... endA Non empty list. The module allows to deal with non-empty list. Lists where the minimum size is one.
module Void : sig ... endVoid describes unhabited type. A type that is not representable.