package pomap

  1. Overview
  2. Docs
module type PARTIAL_ORDER = sig ... end

Specification of a partial order relation

module type POMAP = sig ... end

Interface to partially ordered maps

OCaml

Innovation. Community. Security.