1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package prbnmcn-proptest
-
prbnmcn-proptest
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
module N : Generic.Name
module X : Generic.Generator
module G : Basic_structures.Basic_intf.Ring with type t = X.t
Signature
module Abelian_group_props : sig ... end
module Monoid_props : sig ... end