]> begriffs open source - acsl-example/blob - inc/algos.h
Use coq prover
[acsl-example] / inc / algos.h
1 #ifndef ALGOS_H
2 #define ALGOS_H
3
4 #include "types.h"
5
6 size_type find(const value_type* a, size_type n, value_type v);
7 size_type find2(const value_type* a, size_type n, value_type v);  
8 size_type find3(const value_type* a, size_type n, value_type v);
9
10 #endif