vault backup: 2023-10-13 14:22:32
This commit is contained in:
parent
7c1937d8ac
commit
8debf89129
@ -141,8 +141,9 @@ let rec growing = function
|
||||
let growing = function
|
||||
|[] -> true
|
||||
|l -> let rec g = function
|
||||
|[e]-> true
|
||||
| e1::e2::t -> if e1 > e2 then false else g(e2::t)
|
||||
|[_]-> true
|
||||
| e1::e2::_ -> when e1 > e2 -> false
|
||||
| _::t -> gt
|
||||
in g l;;
|
||||
```
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user