Skip to main content

Browse the archive

Revision f9b5ad7a681685d0494f8411180e81a7a3dc8a17 authored by MBourgoin on 19 November 2018, 06:26:16 UTC, committed by Benjamin Canou on 04 April 2019, 08:58:06 UTC 
StdLib/Ring: add `add_and_return_erased` function
 
Co-authored-by: Mathias Bourgoin <mathias.bourgoin@tezcore.com>
Co-authored-by: Raphaël Proust <code@bnwr.net>
Co-authored-by: Pietro Abate <pietro.abate@tezcore.com>
1 parent c2ddac4
Raw File
dune 
(env
 (dev
  (flags (:standard)))
 (release
  (flags (:standard -O3))))

(alias
 (name runtest)
 (deps (alias_rec runtest_indent)))

(alias
 (name runtest)
 (deps (alias_rec runtest_sandbox)))
back to top