package psq

  1. Overview
  2. Docs
Functional Priority Search Queues

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (4)

Authors

  1. D
    David Kaloper Meršinjak <dk505@cam.ac.uk>

Maintainers

  1. D
    David Kaloper Meršinjak <dk505@cam.ac.uk>

Sources

psq-0.2.1.tbz
sha256=42005f533eabe74b1799ee32b8905654cd66a22bed4af2bd266b28d8462cd344
sha512=8a8dfe20dc77e1cf38a7b1a7fc76f815c71a4ffe04627151b855feaba8f1ae742594739d1b7a45580b5b24a2cd99b58516f6b5c8d858aa314201f4a6422101ee

doc/psq/Psq/Make/argument-1-K/index.html

Parameter Make.K

type t
val compare : t -> t -> int

compare is a total order on t.