package bitvec-order
Module Bitvec_order.Ascending
natural the comparator that sorts in the natural order
type t = ttype comparator_witness = ascendingval comparator : (t, comparator_witness) Base.Comparator.comparatorBitvec_order.Ascendingnatural the comparator that sorts in the natural order
type t = ttype comparator_witness = ascendingval comparator : (t, comparator_witness) Base.Comparator.comparator