marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 516: Added a transitive, polymorphic `compare' function based on a weak table. Once applied, the resul...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Tue, 12 May 2020 22:05:34 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 516
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Tue 2020-05-12 21:25:49 +0000
message:
  Added a transitive, polymorphic `compare' function based on a weak table. Once applied, the result will be of type: '_a -> '_a -> int. The function is transitive in the sense that the related total orders (<, <=, >, >=) are transitive.
  val make_physical_compare : ?size:int -> unit -> ('a -> 'a -> int)
modified:
  STRUCTURES/hashset.ml
  STRUCTURES/hashset.mli
  STRUCTURES/table.ml
  STRUCTURES/table.mli


--
lp:ocamlbricks
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk

Your team marionnet-dev is subscribed to branch lp:ocamlbricks.
To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk/+edit-subscription