diff options
| author | Arnaud Spiwack | 2014-10-21 15:58:16 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-10-22 07:31:45 +0200 |
| commit | aab7ae42b7ed4a071a79600a1adf5a81bafb5f89 (patch) | |
| tree | cbb2fc770f0105f64a12f1e0f461e02ff7408ae0 /dev | |
| parent | e33d2962b549e3b0930b00933bbd2dc29fd3a905 (diff) | |
Make names in [Proofview_monad] more uniform.
ret -> return, bind -> (>>=), etc… So that monads expose a [Monad.S] signature. Also Proofview now exposes the [Monad.S] signature directly rather than in a [Monad.S] subdirectory.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions