Module `Bastet__Endo`

val id : ('a, 'a) Bastet.Function.Category.t
val (<.) : ('a, 'b) Bastet__Function.Semigroupoid.t -> ('c, 'a) Bastet__Function.Semigroupoid.t -> ('c, 'b) Bastet__Function.Semigroupoid.t

type 'a endo = | Endo of 'a -> 'a: A data structure representing the monoid of endomorphisms under composition (a => a)

module Magma : Bastet.Interface.MAGMA_ANY with type 'a t = 'a endo

module Semigroup : Bastet.Interface.SEMIGROUP_ANY with type 'a t = 'a endo

module Monoid : Bastet.Interface.MONOID_ANY with type 'a t = 'a endo

module Infix : sig ... end