package batteries

  1. Overview
  2. Docs

Module BatOrd.OrdSource

Parameters

module Comp : Comp

Signature

Sourcetype t = Comp.t
Sourceval ord : t ord