stdlib/stack.mlw · b800fea5be9fc9f50bbcfe346f0737d4e2efc44f · Why3 / why3 · GitLab

Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

why3
- Activity
- Members
- Labels
- Releases
- Container registry
- Service Desk

Snippets Groups Projects

- Why3
- why3
Repository

Select Git revision

0 results

why3
stdlib
stack.mlw

Blame Permalink

6 years ago
43b40a48
library: {Stack,Queue}.length now return a Peano.t · 43b40a48
Jean-Christophe Filliâtre authored 6 years ago
```
this way, the extraction maps them to OCaml's {Stack,Queue}.length
without using ZArith anymore
```
43b40a48

History
library: {Stack,Queue}.length now return a Peano.t
Jean-Christophe Filliâtre authored 6 years ago
```
this way, the extraction maps them to OCaml's {Stack,Queue}.length
without using ZArith anymore
```