package bitvec-order
-
bitvec-order
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bitvec-order
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
natural the comparator that sorts in the natural order
type t = ttype comparator_witness = ascendingval comparator : (t, comparator_witness) Base.Comparator.comparator