Module `Bastet.Infix`

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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