package travesty
-
travesty
-
-
travesty_containers
-
-
travesty_core_kernel_exts
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Elements must have equality. While this is an extra restriction on top of the Core equivalent, it is required by Make0, and helps us define chaining operations.
val equal : t Base.Equal.equal