package plebeia
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type S1 = Monad.S1
module Make1 (A : sig ... end) : sig ... end
module type S2 = Monad.S2
module Make2 (A : sig ... end) : sig ... end