Module `Bastet.Endo`

val id : ('a, 'a) 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 : Interface.MAGMA_ANY with type 'a t = 'a endo

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

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

module Infix : sig ... end