Module `Bastet__Infix`

module Magma : functor (M : Bastet.Interface.MAGMA) -> sig ... end

module Magma_Any : functor (M : Bastet.Interface.MAGMA_ANY) -> sig ... end

module Functor : functor (F : Bastet.Interface.FUNCTOR) -> sig ... end

module Apply : functor (A : Bastet.Interface.APPLY) -> sig ... end

module Monad : functor (M : Bastet.Interface.MONAD) -> sig ... end

module Alt : functor (A : Bastet.Interface.ALT) -> sig ... end

module Alternative : functor (A : Bastet.Interface.ALTERNATIVE) -> sig ... end

module Semigroupoid : functor (S : Bastet.Interface.SEMIGROUPOID) -> sig ... end

module Eq : functor (E : Bastet.Interface.EQ) -> sig ... end

module Ord : functor (O : Bastet.Interface.ORD) -> sig ... end

module Semiring : functor (S : Bastet.Interface.SEMIRING) -> sig ... end

module Ring : functor (R : Bastet.Interface.RING) -> sig ... end

module Euclidean_Ring : functor (E : Bastet.Interface.EUCLIDEAN_RING) -> sig ... end

module Extend : functor (E : Bastet.Interface.EXTEND) -> sig ... end

module Bifunctor : functor (B : Bastet.Interface.BIFUNCTOR) -> sig ... end

module Biapply : functor (B : Bastet.Interface.BIAPPLY) -> sig ... end

module Join_Semilattice : functor (J : Bastet.Interface.JOIN_SEMILATTICE) -> sig ... end

module Meet_Semilattice : functor (M : Bastet.Interface.MEET_SEMILATTICE) -> sig ... end

module Heyting_Algebra : functor (H : Bastet.Interface.HEYTING_ALGEBRA) -> sig ... end