marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 530: Added function Option.map_binop which extends an arbitrary binary operation (defined on 'a) to th...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Tue, 23 Jun 2020 23:01:21 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 530
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Wed 2020-06-17 17:46:28 +0000
message:
  Added function Option.map_binop which extends an arbitrary binary operation (defined on 'a) to the lifted domain 'a option.
modified:
  STRUCTURES/option.ml
  STRUCTURES/option.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