core-and-more

Includes core, and some more useful extensions
IN THIS PACKAGE
Module type CoreAndMore . StarSemiring . 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_star : t -> t option
val make_plus : t -> t -> t
val make_times : t -> t -> t
val make_star : t -> t