Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
class virtual 'z monoid : object ... end
class 'a addition_monoid : object ... end
class 'self iter : object ... end
class 'self map : object ... end
class 'self endo : object ... end
class virtual 'b reduce : object ... end
class 'self fold : object ... end
class 'self iter2 : object ... end
class 'self map2 : object ... end
class virtual 'c reduce2 : object ... end
class 'self fold2 : object ... end