4 lines
23 B
Coq
4 lines
23 B
Coq
|
sensor_algo u0 (
|
||
|
);
|
||
|
|