core-and-more

Includes core, and some more useful extensions
IN THIS PACKAGE
Module type CoreAndMore . Semiring . Sig
type t
val apply_at_every_level : ( t -> t ) -> t -> t
val applies_for_every_applicable_level : ( t -> t option ) -> t -> t list
val zero : t
val one : t
val separate_plus : t -> (t * t) option
val separate_times : t -> (t * t) option
val make_plus : t -> t -> t
val make_times : t -> t -> t