remove script/cargo.py
[liba.git] / lua / liba.lua
blob1e49ea03f0869c6f96210c73f34688eb273f871f
1 ---@meta liba
2 local liba = {}
4 ---@param ... integer
5 ---@return integer ...
6 function liba.isqrt(...) end
8 ---@param ... number
9 ---@return number ...
10 function liba.rsqrt(...) end
12 ---@param str? string
13 ---@param val? integer|string
14 ---@return string
15 function liba.hash_bkdr(str, val) end
17 ---@param str? string
18 ---@param val? integer|string
19 ---@return string
20 function liba.hash_sdbm(str, val) end
22 ---@class a.complex
23 ---@field real number
24 ---@field imag number
25 ---@field rho number
26 ---@field theta number
27 ---@operator len: number
28 ---@operator unm: a.complex
29 ---@operator add(a.complex): a.complex
30 ---@operator sub(a.complex): a.complex
31 ---@operator mul(a.complex): a.complex
32 ---@operator div(a.complex): a.complex
33 ---@operator pow(a.complex): a.complex
34 local complex = {}
35 ---@class liba.complex
36 ---@overload fun(real?: a.complex|number|string, imag?: number): a.complex
37 liba.complex = {}
39 ---@param real? a.complex|number|string
40 ---@param imag? number
41 ---@return a.complex
42 function liba.complex.new(real, imag) end
44 ---@param real? a.complex|number|string
45 ---@param imag? number
46 ---@return a.complex
47 function complex.new(real, imag) end
49 ---@param real? number
50 ---@param imag? number
51 ---@return a.complex
52 function liba.complex.rect(real, imag) end
54 ---@param real? number
55 ---@param imag? number
56 ---@return a.complex
57 function complex.rect(real, imag) end
59 ---@param rho? number
60 ---@param theta? number
61 ---@return a.complex
62 function liba.complex.polar(rho, theta) end
64 ---@param rho? number
65 ---@param theta? number
66 ---@return a.complex
67 function complex.polar(rho, theta) end
69 ---@param z a.complex|number|string
70 ---@return number
71 function liba.complex.logabs(z) end
73 ---@return number
74 function complex:logabs() end
76 ---@param z a.complex|number|string
77 ---@return number
78 function liba.complex.abs2(z) end
80 ---@return number
81 function complex:abs2() end
83 ---@param z a.complex|number|string
84 ---@return number
85 function liba.complex.abs(z) end
87 ---@return number
88 function complex:abs() end
90 ---@param z a.complex|number|string
91 ---@return number
92 function liba.complex.arg(z) end
94 ---@return number
95 function complex:arg() end
97 ---@param z a.complex|number|string
98 ---@return a.complex
99 function liba.complex.proj(z) end
101 ---@return a.complex
102 function complex:proj() end
104 ---@param z a.complex|number|string
105 ---@return a.complex
106 function liba.complex.conj(z) end
108 ---@return a.complex
109 function complex:conj() end
111 ---@param z a.complex|number|string
112 ---@return a.complex
113 function liba.complex.unm(z) end
115 ---@return a.complex
116 function complex:unm() end
118 ---@param z a.complex|number|string
119 ---@return a.complex
120 function liba.complex.inv(z) end
122 ---@return a.complex
123 function complex:inv() end
125 ---@param x a.complex|number|string
126 ---@param y a.complex|number|string
127 ---@return a.complex
128 function liba.complex.add(x, y) end
130 ---@param z a.complex|number|string
131 ---@return a.complex
132 function complex:add(z) end
134 ---@param x a.complex|number|string
135 ---@param y a.complex|number|string
136 ---@return a.complex
137 function liba.complex.sub(x, y) end
139 ---@param z a.complex|number|string
140 ---@return a.complex
141 function complex:sub(z) end
143 ---@param x a.complex|number|string
144 ---@param y a.complex|number|string
145 ---@return a.complex
146 function liba.complex.mul(x, y) end
148 ---@param z a.complex|number|string
149 ---@return a.complex
150 function complex:mul(z) end
152 ---@param x a.complex|number|string
153 ---@param y a.complex|number|string
154 ---@return a.complex
155 function liba.complex.div(x, y) end
157 ---@param z a.complex|number|string
158 ---@return a.complex
159 function complex:div(z) end
161 ---@param z a.complex|number|string
162 ---@param a a.complex|number|string
163 ---@return a.complex
164 function liba.complex.pow(z, a) end
166 ---@param a a.complex|number|string
167 ---@return a.complex
168 function complex:pow(a) end
170 ---@param z a.complex|number|string
171 ---@param b a.complex|number|string
172 ---@return a.complex
173 function liba.complex.logb(z, b) end
175 ---@param b a.complex
176 ---@return a.complex
177 function complex:logb(b) end
179 ---@param z a.complex|number|string
180 ---@return a.complex
181 function liba.complex.exp(z) end
183 ---@return a.complex
184 function complex:exp() end
186 ---@param z a.complex|number|string
187 ---@return a.complex
188 function liba.complex.log(z) end
190 ---@return a.complex
191 function complex:log() end
193 ---@param z a.complex|number|string
194 ---@return a.complex
195 function liba.complex.sqrt(z) end
197 ---@return a.complex
198 function complex:sqrt() end
200 ---@param z a.complex|number|string
201 ---@return a.complex
202 function liba.complex.log2(z) end
204 ---@return a.complex
205 function complex:log2() end
207 ---@param z a.complex|number|string
208 ---@return a.complex
209 function liba.complex.log10(z) end
211 ---@return a.complex
212 function complex:log10() end
214 ---@param z a.complex|number|string
215 ---@return a.complex
216 function liba.complex.sin(z) end
218 ---@return a.complex
219 function complex:sin() end
221 ---@param z a.complex|number|string
222 ---@return a.complex
223 function liba.complex.cos(z) end
225 ---@return a.complex
226 function complex:cos() end
228 ---@param z a.complex|number|string
229 ---@return a.complex
230 function liba.complex.tan(z) end
232 ---@return a.complex
233 function complex:tan() end
235 ---@param z a.complex|number|string
236 ---@return a.complex
237 function liba.complex.sec(z) end
239 ---@return a.complex
240 function complex:sec() end
242 ---@param z a.complex|number|string
243 ---@return a.complex
244 function liba.complex.csc(z) end
246 ---@return a.complex
247 function complex:csc() end
249 ---@param z a.complex|number|string
250 ---@return a.complex
251 function liba.complex.cot(z) end
253 ---@return a.complex
254 function complex:cot() end
256 ---@param z a.complex|number|string
257 ---@return a.complex
258 function liba.complex.asin(z) end
260 ---@return a.complex
261 function complex:asin() end
263 ---@param z a.complex|number|string
264 ---@return a.complex
265 function liba.complex.acos(z) end
267 ---@return a.complex
268 function complex:acos() end
270 ---@param z a.complex|number|string
271 ---@return a.complex
272 function liba.complex.atan(z) end
274 ---@return a.complex
275 function complex:atan() end
277 ---@param z a.complex|number|string
278 ---@return a.complex
279 function liba.complex.asec(z) end
281 ---@return a.complex
282 function complex:asec() end
284 ---@param z a.complex|number|string
285 ---@return a.complex
286 function liba.complex.acsc(z) end
288 ---@return a.complex
289 function complex:acsc() end
291 ---@param z a.complex|number|string
292 ---@return a.complex
293 function liba.complex.acot(z) end
295 ---@return a.complex
296 function complex:acot() end
298 ---@param z a.complex|number|string
299 ---@return a.complex
300 function liba.complex.sinh(z) end
302 ---@return a.complex
303 function complex:sinh() end
305 ---@param z a.complex|number|string
306 ---@return a.complex
307 function liba.complex.cosh(z) end
309 ---@return a.complex
310 function complex:cosh() end
312 ---@param z a.complex|number|string
313 ---@return a.complex
314 function liba.complex.tanh(z) end
316 ---@return a.complex
317 function complex:tanh() end
319 ---@param z a.complex|number|string
320 ---@return a.complex
321 function liba.complex.sech(z) end
323 ---@return a.complex
324 function complex:sech() end
326 ---@param z a.complex|number|string
327 ---@return a.complex
328 function liba.complex.csch(z) end
330 ---@return a.complex
331 function complex:csch() end
333 ---@param z a.complex|number|string
334 ---@return a.complex
335 function liba.complex.coth(z) end
337 ---@return a.complex
338 function complex:coth() end
340 ---@param z a.complex|number|string
341 ---@return a.complex
342 function liba.complex.asinh(z) end
344 ---@return a.complex
345 function complex:asinh() end
347 ---@param z a.complex|number|string
348 ---@return a.complex
349 function liba.complex.acosh(z) end
351 ---@return a.complex
352 function complex:acosh() end
354 ---@param z a.complex|number|string
355 ---@return a.complex
356 function liba.complex.atanh(z) end
358 ---@return a.complex
359 function complex:atanh() end
361 ---@param z a.complex|number|string
362 ---@return a.complex
363 function liba.complex.asech(z) end
365 ---@return a.complex
366 function complex:asech() end
368 ---@param z a.complex|number|string
369 ---@return a.complex
370 function liba.complex.acsch(z) end
372 ---@return a.complex
373 function complex:acsch() end
375 ---@param z a.complex|number|string
376 ---@return a.complex
377 function liba.complex.acoth(z) end
379 ---@return a.complex
380 function complex:acoth() end
382 ---@class a.crc8
383 ---@field table table
384 ---@overload fun(block: string, value: integer|string): integer
385 local crc8 = {}
386 ---@class liba.crc8
387 ---@overload fun(poly: integer|string, reversed?: boolean): a.crc8
388 liba.crc8 = {}
390 ---@param poly integer|string
391 ---@param reversed? boolean
392 ---@return a.crc8
393 function liba.crc8.new(poly, reversed) end
395 ---@param poly integer|string
396 ---@param reversed? boolean
397 ---@return a.crc8
398 function crc8.new(poly, reversed) end
400 ---@param ctx a.crc8
401 ---@param poly integer|string
402 ---@param reversed? boolean
403 ---@return a.crc8
404 function liba.crc8.gen(ctx, poly, reversed) end
406 ---@param poly integer|string
407 ---@param reversed? boolean
408 ---@return a.crc8
409 function crc8:gen(poly, reversed) end
411 ---@param ctx a.crc8
412 ---@param block string
413 ---@param value? integer|string
414 ---@return integer
415 function liba.crc8.eval(ctx, block, value) end
417 ---@param block string
418 ---@param value? integer|string
419 ---@return integer
420 function crc8:eval(block, value) end
422 ---@param ctx a.crc8
423 ---@param block string
424 ---@param value? integer|string
425 ---@return string
426 function liba.crc8.pack(ctx, block, value) end
428 ---@param block string
429 ---@param value? integer|string
430 ---@return string
431 function crc8:pack(block, value) end
433 ---@class a.crc16
434 ---@field table table
435 ---@overload fun(block: string, value: integer|string): integer
436 local crc16 = {}
437 ---@class liba.crc16
438 ---@overload fun(poly: integer|string, reversed?: boolean): a.crc16
439 liba.crc16 = {}
441 ---@param poly integer|string
442 ---@param reversed? boolean
443 ---@return a.crc16
444 function liba.crc16.new(poly, reversed) end
446 ---@param poly integer|string
447 ---@param reversed? boolean
448 ---@return a.crc16
449 function crc16.new(poly, reversed) end
451 ---@param ctx a.crc16
452 ---@param poly integer|string
453 ---@param reversed? boolean
454 ---@return a.crc16
455 function liba.crc16.gen(ctx, poly, reversed) end
457 ---@param poly integer|string
458 ---@param reversed? boolean
459 ---@return a.crc16
460 function crc16:gen(poly, reversed) end
462 ---@param ctx a.crc16
463 ---@param block string
464 ---@param value? integer|string
465 ---@return integer
466 function liba.crc16.eval(ctx, block, value) end
468 ---@param block string
469 ---@param value? integer|string
470 ---@return integer
471 function crc16:eval(block, value) end
473 ---@param ctx a.crc16
474 ---@param block string
475 ---@param value? integer|string
476 ---@return string
477 function liba.crc16.pack(ctx, block, value) end
479 ---@param block string
480 ---@param value? integer|string
481 ---@return string
482 function crc16:pack(block, value) end
484 ---@class a.crc32
485 ---@field table table
486 ---@overload fun(block: string, value: integer|string): string
487 local crc32 = {}
488 ---@class liba.crc32
489 ---@overload fun(poly: integer|string, reversed?: boolean): a.crc32
490 liba.crc32 = {}
492 ---@param poly integer|string
493 ---@param reversed? boolean
494 ---@return a.crc32
495 function liba.crc32.new(poly, reversed) end
497 ---@param poly integer|string
498 ---@param reversed? boolean
499 ---@return a.crc32
500 function crc32.new(poly, reversed) end
502 ---@param ctx a.crc32
503 ---@param poly integer|string
504 ---@param reversed? boolean
505 ---@return a.crc32
506 function liba.crc32.gen(ctx, poly, reversed) end
508 ---@param poly integer|string
509 ---@param reversed? boolean
510 ---@return a.crc32
511 function crc32:gen(poly, reversed) end
513 ---@param ctx a.crc32
514 ---@param block string
515 ---@param value? integer|string
516 ---@return string
517 function liba.crc32.eval(ctx, block, value) end
519 ---@param block string
520 ---@param value? integer|string
521 ---@return string
522 function crc32:eval(block, value) end
524 ---@param ctx a.crc32
525 ---@param block string
526 ---@param value? integer|string
527 ---@return string
528 function liba.crc32.pack(ctx, block, value) end
530 ---@param block string
531 ---@param value? integer|string
532 ---@return string
533 function crc32:pack(block, value) end
535 ---@class a.crc64
536 ---@field table table
537 ---@overload fun(block: string, value: integer|string): string
538 local crc64 = {}
539 ---@class liba.crc64
540 ---@overload fun(poly: integer|string, reversed?: boolean): a.crc64
541 liba.crc64 = {}
543 ---@param poly integer|string
544 ---@param reversed? boolean
545 ---@return a.crc64
546 function liba.crc64.new(poly, reversed) end
548 ---@param poly integer|string
549 ---@param reversed? boolean
550 ---@return a.crc64
551 function crc64.new(poly, reversed) end
553 ---@param ctx a.crc64
554 ---@param poly integer|string
555 ---@param reversed? boolean
556 ---@return a.crc64
557 function liba.crc64.gen(ctx, poly, reversed) end
559 ---@param poly integer|string
560 ---@param reversed? boolean
561 ---@return a.crc64
562 function crc64:gen(poly, reversed) end
564 ---@param ctx a.crc64
565 ---@param block string
566 ---@param value? integer|string
567 ---@return string
568 function liba.crc64.eval(ctx, block, value) end
570 ---@param block string
571 ---@param value? integer|string
572 ---@return string
573 function crc64:eval(block, value) end
575 ---@param ctx a.crc64
576 ---@param block string
577 ---@param value? integer|string
578 ---@return string
579 function liba.crc64.pack(ctx, block, value) end
581 ---@param block string
582 ---@param value? integer|string
583 ---@return string
584 function crc64:pack(block, value) end
586 ---@class a.hpf
587 ---@field alpha number
588 ---@field input number
589 ---@field output number
590 ---@overload fun(x: number): number
591 local hpf = {}
592 ---@class liba.hpf
593 ---@overload fun(alpha: number): a.hpf
594 ---@overload fun(fc: number, ts: number): a.hpf
595 liba.hpf = {}
597 ---@param fc number
598 ---@param ts number
599 ---@return a.hpf
600 ---@overload fun(alpha: number): a.hpf
601 function liba.hpf.new(fc, ts) end
603 ---@param fc number
604 ---@param ts number
605 ---@return a.hpf
606 ---@overload fun(alpha: number): a.hpf
607 function hpf.new(fc, ts) end
609 ---@param ctx a.hpf
610 ---@param fc number
611 ---@param ts number
612 ---@return a.hpf
613 ---@overload fun(ctx: a.hpf, alpha: number): a.hpf
614 function liba.hpf.gen(ctx, fc, ts) end
616 ---@param fc number
617 ---@param ts number
618 ---@return a.hpf
619 ---@overload fun(ctx: a.hpf, alpha: number): a.hpf
620 function hpf:gen(fc, ts) end
622 ---@param ctx a.hpf
623 ---@param x number
624 ---@return number
625 function liba.hpf.iter(ctx, x) end
627 ---@param x number
628 ---@return number
629 function hpf:iter(x) end
631 ---@param ctx a.hpf
632 ---@return a.hpf
633 function liba.hpf.zero(ctx) end
635 ---@return a.hpf
636 function hpf:zero() end
638 ---@class a.lpf
639 ---@field alpha number
640 ---@field output number
641 ---@overload fun(x: number): number
642 local lpf = {}
643 ---@class liba.lpf
644 ---@overload fun(alpha: number): a.lpf
645 ---@overload fun(fc: number, ts: number): a.lpf
646 liba.lpf = {}
648 ---@param fc number
649 ---@param ts number
650 ---@return a.lpf
651 ---@overload fun(alpha: number): a.lpf
652 function liba.lpf.new(fc, ts) end
654 ---@param fc number
655 ---@param ts number
656 ---@return a.lpf
657 ---@overload fun(alpha: number): a.lpf
658 function lpf.new(fc, ts) end
660 ---@param ctx a.lpf
661 ---@param fc number
662 ---@param ts number
663 ---@return a.lpf
664 ---@overload fun(ctx: a.lpf, alpha: number): a.lpf
665 function liba.lpf.gen(ctx, fc, ts) end
667 ---@param fc number
668 ---@param ts number
669 ---@return a.lpf
670 ---@overload fun(ctx: a.lpf, alpha: number): a.lpf
671 function lpf:gen(fc, ts) end
673 ---@param ctx a.lpf
674 ---@param x number
675 ---@return number
676 function liba.lpf.iter(ctx, x) end
678 ---@param x number
679 ---@return number
680 function lpf:iter(x) end
682 ---@param ctx a.lpf
683 ---@return a.lpf
684 function liba.lpf.zero(ctx) end
686 ---@return a.lpf
687 function lpf:zero() end
689 liba.mf = {}
690 liba.mf.NUL = 0
691 ---@param e integer
692 ---@param x number
693 ---@param ... number
694 function liba.mf.mf(e, x, ...) end
696 liba.mf.GAUSS = 1
697 ---@param x number
698 ---@param sigma number
699 ---@param c number
700 ---@return number
701 function liba.mf.gauss(x, sigma, c) end
703 liba.mf.GAUSS2 = 2
704 ---@param x number
705 ---@param sigma1 number
706 ---@param c1 number
707 ---@param sigma2 number
708 ---@param c2 number
709 ---@return number
710 function liba.mf.gauss2(x, sigma1, c1, sigma2, c2) end
712 liba.mf.GBELL = 3
713 ---@param x number
714 ---@param a number
715 ---@param b number
716 ---@param c number
717 ---@return number
718 function liba.mf.gbell(x, a, b, c) end
720 liba.mf.SIG = 4
721 ---@param x number
722 ---@param a number
723 ---@param c number
724 ---@return number
725 function liba.mf.sig(x, a, c) end
727 liba.mf.DSIG = 5
728 ---@param x number
729 ---@param a1 number
730 ---@param c1 number
731 ---@param a2 number
732 ---@param c2 number
733 ---@return number
734 function liba.mf.dsig(x, a1, c1, a2, c2) end
736 liba.mf.PSIG = 6
737 ---@param x number
738 ---@param a1 number
739 ---@param c1 number
740 ---@param a2 number
741 ---@param c2 number
742 ---@return number
743 function liba.mf.psig(x, a1, c1, a2, c2) end
745 liba.mf.TRAP = 7
746 ---@param x number
747 ---@param a number
748 ---@param b number
749 ---@param c number
750 ---@param d number
751 ---@return number
752 function liba.mf.trap(x, a, b, c, d) end
754 liba.mf.TRI = 8
755 ---@param x number
756 ---@param a number
757 ---@param b number
758 ---@param c number
759 ---@return number
760 function liba.mf.tri(x, a, b, c) end
762 liba.mf.LINS = 9
763 ---@param x number
764 ---@param a number
765 ---@param b number
766 ---@return number
767 function liba.mf.lins(x, a, b) end
769 liba.mf.LINZ = 10
770 ---@param x number
771 ---@param a number
772 ---@param b number
773 ---@return number
774 function liba.mf.linz(x, a, b) end
776 liba.mf.S = 11
777 ---@param x number
778 ---@param a number
779 ---@param b number
780 ---@return number
781 function liba.mf.s(x, a, b) end
783 liba.mf.Z = 12
784 ---@param x number
785 ---@param a number
786 ---@param b number
787 ---@return number
788 function liba.mf.z(x, a, b) end
790 liba.mf.PI = 13
791 ---@param x number
792 ---@param a number
793 ---@param b number
794 ---@param c number
795 ---@param d number
796 ---@return number
797 function liba.mf.pi(x, a, b, c, d) end
799 ---@class a.pid
800 ---@field kp number
801 ---@field ki number
802 ---@field kd number
803 ---@field summax number
804 ---@field summin number
805 ---@field sum number
806 ---@field outmax number
807 ---@field outmin number
808 ---@field out number
809 ---@field fdb number
810 ---@field err number
811 local pid = {}
812 ---@class liba.pid
813 ---@overload fun(): a.pid
814 liba.pid = {}
816 ---@return a.pid
817 function liba.pid.new() end
819 ---@return a.pid
820 function pid.new() end
822 ---@param ctx a.pid
823 ---@return a.pid
824 function liba.pid.init(ctx) end
826 ---@return a.pid
827 function pid:init() end
829 ---@param ctx a.pid
830 ---@return a.pid
831 function liba.pid.zero(ctx) end
833 ---@return a.pid
834 function pid:zero() end
836 ---@param ctx a.pid
837 ---@param kp number
838 ---@param ki number
839 ---@param kd number
840 ---@return a.pid
841 function liba.pid.set_kpid(ctx, kp, ki, kd) end
843 ---@param kp number
844 ---@param ki number
845 ---@param kd number
846 ---@return a.pid
847 function pid:set_kpid(kp, ki, kd) end
849 ---@param ctx a.pid
850 ---@param set number
851 ---@param fdb number
852 ---@return number
853 function liba.pid.run(ctx, set, fdb) end
855 ---@param set number
856 ---@param fdb number
857 ---@return number
858 function pid:run(set, fdb) end
860 ---@param ctx a.pid
861 ---@param set number
862 ---@param fdb number
863 ---@return number
864 function liba.pid.pos(ctx, set, fdb) end
866 ---@param set number
867 ---@param fdb number
868 ---@return number
869 function pid:pos(set, fdb) end
871 ---@param ctx a.pid
872 ---@param set number
873 ---@param fdb number
874 ---@return number
875 function liba.pid.inc(ctx, set, fdb) end
877 ---@param set number
878 ---@param fdb number
879 ---@return number
880 function pid:inc(set, fdb) end
882 ---@class a.pid_fuzzy
883 ---@field kp number
884 ---@field ki number
885 ---@field kd number
886 ---@field summax number
887 ---@field summin number
888 ---@field sum number
889 ---@field outmax number
890 ---@field outmin number
891 ---@field out number
892 ---@field fdb number
893 ---@field err number
894 ---@field nrule integer
895 ---@field nfuzz integer
896 local pid_fuzzy = {}
897 ---@class liba.pid_fuzzy
898 ---@overload fun(): a.pid_fuzzy
899 liba.pid_fuzzy = {}
901 ---@return a.pid_fuzzy
902 function liba.pid_fuzzy.new() end
904 ---@return a.pid_fuzzy
905 function pid_fuzzy.new() end
907 ---@param ctx a.pid_fuzzy
908 ---@return a.pid_fuzzy
909 function liba.pid_fuzzy.init(ctx) end
911 ---@return a.pid_fuzzy
912 function pid_fuzzy:init() end
914 ---@param ctx a.pid_fuzzy
915 ---@return a.pid_fuzzy
916 function liba.pid_fuzzy.zero(ctx) end
918 ---@return a.pid_fuzzy
919 function pid_fuzzy:zero() end
921 liba.pid_fuzzy.CAP = 1
922 liba.pid_fuzzy.CAP_ALGEBRA = 2
923 liba.pid_fuzzy.CAP_BOUNDED = 3
924 liba.pid_fuzzy.CUP = 4
925 liba.pid_fuzzy.CUP_ALGEBRA = 5
926 liba.pid_fuzzy.CUP_BOUNDED = 6
927 liba.pid_fuzzy.EQU = 0
928 ---@param ctx a.pid_fuzzy
929 ---@param opr integer
930 ---@return a.pid_fuzzy
931 function liba.pid_fuzzy.set_opr(ctx, opr) end
933 ---@param opr integer
934 ---@return a.pid_fuzzy
935 function pid_fuzzy:set_opr(opr) end
937 ---@param ctx a.pid_fuzzy
938 ---@param nfuzz integer
939 ---@return a.pid_fuzzy
940 function liba.pid_fuzzy.set_nfuzz(ctx, nfuzz) end
942 ---@param nfuzz integer
943 ---@return a.pid_fuzzy
944 function pid_fuzzy:set_nfuzz(nfuzz) end
946 ---@param ctx a.pid_fuzzy
947 ---@param me table
948 ---@param mec table
949 ---@param mkp table
950 ---@param mki table
951 ---@param mkd table
952 ---@return a.pid_fuzzy
953 function liba.pid_fuzzy.set_rule(ctx, me, mec, mkp, mki, mkd) end
955 ---@param me table
956 ---@param mec table
957 ---@param mkp table
958 ---@param mki table
959 ---@param mkd table
960 ---@return a.pid_fuzzy
961 function pid_fuzzy:set_rule(me, mec, mkp, mki, mkd) end
963 ---@param ctx a.pid_fuzzy
964 ---@param kp number
965 ---@param ki number
966 ---@param kd number
967 ---@return a.pid_fuzzy
968 function liba.pid_fuzzy.set_kpid(ctx, kp, ki, kd) end
970 ---@param kp number
971 ---@param ki number
972 ---@param kd number
973 ---@return a.pid_fuzzy
974 function pid_fuzzy:set_kpid(kp, ki, kd) end
976 ---@param ctx a.pid_fuzzy
977 ---@param set number
978 ---@param fdb number
979 ---@return number
980 function liba.pid_fuzzy.run(ctx, set, fdb) end
982 ---@param set number
983 ---@param fdb number
984 ---@return number
985 function pid_fuzzy:run(set, fdb) end
987 ---@param ctx a.pid_fuzzy
988 ---@param set number
989 ---@param fdb number
990 ---@return number
991 function liba.pid_fuzzy.pos(ctx, set, fdb) end
993 ---@param set number
994 ---@param fdb number
995 ---@return number
996 function pid_fuzzy:pos(set, fdb) end
998 ---@param ctx a.pid_fuzzy
999 ---@param set number
1000 ---@param fdb number
1001 ---@return number
1002 function liba.pid_fuzzy.inc(ctx, set, fdb) end
1004 ---@param set number
1005 ---@param fdb number
1006 ---@return number
1007 function pid_fuzzy:inc(set, fdb) end
1009 ---@class a.pid_neuro
1010 ---@field k number
1011 ---@field kp number
1012 ---@field ki number
1013 ---@field kd number
1014 ---@field wp number
1015 ---@field wi number
1016 ---@field wd number
1017 ---@field outmax number
1018 ---@field outmin number
1019 ---@field out number
1020 ---@field fdb number
1021 ---@field err number
1022 ---@field ec number
1023 local pid_neuro = {}
1024 ---@class liba.pid_neuro
1025 ---@overload fun(): a.pid_neuro
1026 liba.pid_neuro = {}
1028 ---@return a.pid_neuro
1029 function liba.pid_neuro.new() end
1031 ---@return a.pid_neuro
1032 function pid_neuro.new() end
1034 ---@param ctx a.pid_neuro
1035 ---@return a.pid_neuro
1036 function liba.pid_neuro.init(ctx) end
1038 ---@return a.pid_neuro
1039 function pid_neuro:init() end
1041 ---@param ctx a.pid_neuro
1042 ---@return a.pid_neuro
1043 function liba.pid_neuro.zero(ctx) end
1045 ---@return a.pid_neuro
1046 function pid_neuro:zero() end
1048 ---@param ctx a.pid_neuro
1049 ---@param k number
1050 ---@param kp number
1051 ---@param ki number
1052 ---@param kd number
1053 ---@return a.pid_neuro
1054 function liba.pid_neuro.set_kpid(ctx, k, kp, ki, kd) end
1056 ---@param k number
1057 ---@param kp number
1058 ---@param ki number
1059 ---@param kd number
1060 ---@return a.pid_neuro
1061 function pid_neuro:set_kpid(k, kp, ki, kd) end
1063 ---@param ctx a.pid_neuro
1064 ---@param wp number
1065 ---@param wi number
1066 ---@param wd number
1067 ---@return a.pid_neuro
1068 function liba.pid_neuro.set_wpid(ctx, wp, wi, wd) end
1070 ---@param wp number
1071 ---@param wi number
1072 ---@param wd number
1073 ---@return a.pid_neuro
1074 function pid_neuro:set_wpid(wp, wi, wd) end
1076 ---@param ctx a.pid_neuro
1077 ---@param set number
1078 ---@param fdb number
1079 ---@return number
1080 function liba.pid_neuro.run(ctx, set, fdb) end
1082 ---@param set number
1083 ---@param fdb number
1084 ---@return number
1085 function pid_neuro:run(set, fdb) end
1087 ---@param ctx a.pid_neuro
1088 ---@param set number
1089 ---@param fdb number
1090 ---@return number
1091 function liba.pid_neuro.inc(ctx, set, fdb) end
1093 ---@param set number
1094 ---@param fdb number
1095 ---@return number
1096 function pid_neuro:inc(set, fdb) end
1098 ---@class a.regress_simple
1099 ---@field coef number
1100 ---@field bias number
1101 local regress_simple = {}
1102 ---@class liba.regress_simple
1103 ---@overload fun(coef: number, bias: number): a.regress_simple
1104 liba.regress_simple = {}
1106 ---@param coef? number
1107 ---@param bias? number
1108 ---@return a.regress_simple
1109 function liba.regress_simple.new(coef, bias) end
1111 ---@param coef? number
1112 ---@param bias? number
1113 ---@return a.regress_simple
1114 function regress_simple.new(coef, bias) end
1116 ---@param ctx a.regress_simple
1117 ---@param coef? number
1118 ---@param bias? number
1119 ---@return a.regress_simple
1120 function liba.regress_simple.init(ctx, coef, bias) end
1122 ---@param coef? number
1123 ---@param bias? number
1124 ---@return a.regress_simple
1125 function regress_simple:init(coef, bias) end
1127 ---@param ctx a.regress_simple
1128 ---@param val number
1129 ---@return number
1130 function liba.regress_simple.eval(ctx, val) end
1132 ---@param val number
1133 ---@return number
1134 function regress_simple:eval(val) end
1136 ---@param ctx a.regress_simple
1137 ---@param val number
1138 ---@return number
1139 function liba.regress_simple.evar(ctx, val) end
1141 ---@param val number
1142 ---@return number
1143 function regress_simple:evar(val) end
1145 ---@param ctx a.regress_simple
1146 ---@param x table
1147 ---@param y table
1148 ---@param x_mean number
1149 ---@param y_mean number
1150 ---@return a.regress_simple
1151 function liba.regress_simple.ols_(ctx, x, y, x_mean, y_mean) end
1153 ---@param x table
1154 ---@param y table
1155 ---@param x_mean number
1156 ---@param y_mean number
1157 ---@return a.regress_simple
1158 function regress_simple:ols_(x, y, x_mean, y_mean) end
1160 ---@param ctx a.regress_simple
1161 ---@param x table
1162 ---@param y table
1163 ---@param x_mean number
1164 ---@return a.regress_simple
1165 function liba.regress_simple.olsx(ctx, x, y, x_mean) end
1167 ---@param x table
1168 ---@param y table
1169 ---@param x_mean number
1170 ---@return a.regress_simple
1171 function regress_simple:olsx(x, y, x_mean) end
1173 ---@param ctx a.regress_simple
1174 ---@param x table
1175 ---@param y table
1176 ---@param y_mean number
1177 ---@return a.regress_simple
1178 function liba.regress_simple.olsy(ctx, x, y, y_mean) end
1180 ---@param x table
1181 ---@param y table
1182 ---@param y_mean number
1183 ---@return a.regress_simple
1184 function regress_simple:olsy(x, y, y_mean) end
1186 ---@param ctx a.regress_simple
1187 ---@param x table
1188 ---@param y table
1189 ---@return a.regress_simple
1190 function liba.regress_simple.ols(ctx, x, y) end
1192 ---@param x table
1193 ---@param y table
1194 ---@return a.regress_simple
1195 function regress_simple:ols(x, y) end
1197 ---@param ctx a.regress_simple
1198 ---@return a.regress_simple
1199 function liba.regress_simple.zero(ctx) end
1201 ---@return a.regress_simple
1202 function regress_simple:zero() end
1204 ---@class a.tf
1205 ---@field num table
1206 ---@field den table
1207 ---@field input table
1208 ---@field output table
1209 ---@overload fun(x: number): number
1210 local tf = {}
1211 ---@class liba.tf
1212 ---@overload fun(num: table, den: table): a.tf
1213 liba.tf = {}
1215 ---@param num table
1216 ---@param den table
1217 ---@return a.tf
1218 function liba.tf.new(num, den) end
1220 ---@param num table
1221 ---@param den table
1222 ---@return a.tf
1223 function tf.new(num, den) end
1225 ---@param ctx a.tf
1226 function liba.tf.die(ctx) end
1228 function tf:die() end
1230 ---@param ctx a.tf
1231 ---@param num table
1232 ---@param den table
1233 ---@return a.tf
1234 function liba.tf.init(ctx, num, den) end
1236 ---@param num table
1237 ---@param den table
1238 ---@return a.tf
1239 function tf:init(num, den) end
1241 ---@param ctx a.tf
1242 ---@param x number
1243 ---@return number
1244 function liba.tf.iter(ctx, x) end
1246 ---@param x number
1247 ---@return number
1248 function tf:iter(x) end
1250 ---@param ctx a.tf
1251 ---@return a.tf
1252 function liba.tf.zero(ctx) end
1254 ---@return a.tf
1255 function tf:zero() end
1257 ---@class a.trajbell
1258 ---@field t number
1259 ---@field tv number
1260 ---@field ta number
1261 ---@field td number
1262 ---@field taj number
1263 ---@field tdj number
1264 ---@field p0 number
1265 ---@field p1 number
1266 ---@field v0 number
1267 ---@field v1 number
1268 ---@field vm number
1269 ---@field jm number
1270 ---@field am number
1271 ---@field dm number
1272 local trajbell = {}
1273 ---@class liba.trajbell
1274 ---@overload fun(): a.trajbell
1275 liba.trajbell = {}
1277 ---@return a.trajbell
1278 function liba.trajbell.new() end
1280 ---@return a.trajbell
1281 function trajbell.new() end
1283 ---@param ctx a.trajbell
1284 ---@param jm number
1285 ---@param am number
1286 ---@param vm number
1287 ---@param p0 number
1288 ---@param p1 number
1289 ---@param v0? number
1290 ---@param v1? number
1291 ---@return number
1292 function liba.trajbell.gen(ctx, jm, am, vm, p0, p1, v0, v1) end
1294 ---@param jm number
1295 ---@param am number
1296 ---@param vm number
1297 ---@param p0 number
1298 ---@param p1 number
1299 ---@param v0? number
1300 ---@param v1? number
1301 ---@return number
1302 function trajbell:gen(jm, am, vm, p0, p1, v0, v1) end
1304 ---@param ctx a.trajbell
1305 ---@param x number
1306 ---@return number
1307 function liba.trajbell.pos(ctx, x) end
1309 ---@param x number
1310 ---@return number
1311 function trajbell:pos(x) end
1313 ---@param ctx a.trajbell
1314 ---@param x number
1315 ---@return number
1316 function liba.trajbell.vel(ctx, x) end
1318 ---@param x number
1319 ---@return number
1320 function trajbell:vel(x) end
1322 ---@param ctx a.trajbell
1323 ---@param x number
1324 ---@return number
1325 function liba.trajbell.acc(ctx, x) end
1327 ---@param x number
1328 ---@return number
1329 function trajbell:acc(x) end
1331 ---@param ctx a.trajbell
1332 ---@param x number
1333 ---@return number
1334 function liba.trajbell.jer(ctx, x) end
1336 ---@param x number
1337 ---@return number
1338 function trajbell:jer(x) end
1340 ---@class a.trajpoly3
1341 ---@field p table
1342 ---@field v table
1343 ---@field a table
1344 local trajpoly3 = {}
1345 ---@class liba.trajpoly3
1346 ---@overload fun(ts: number, p0: number, p1: number, v0?: number, v1?: number): a.trajpoly3
1347 liba.trajpoly3 = {}
1349 ---@param ts number
1350 ---@param p0 number
1351 ---@param p1 number
1352 ---@param v0? number
1353 ---@param v1? number
1354 ---@return a.trajpoly3
1355 function liba.trajpoly3.new(ts, p0, p1, v0, v1) end
1357 ---@param ts number
1358 ---@param p0 number
1359 ---@param p1 number
1360 ---@param v0? number
1361 ---@param v1? number
1362 ---@return a.trajpoly3
1363 function trajpoly3.new(ts, p0, p1, v0, v1) end
1365 ---@param ctx a.trajpoly3
1366 ---@param ts number
1367 ---@param p0 number
1368 ---@param p1 number
1369 ---@param v0? number
1370 ---@param v1? number
1371 ---@return a.trajpoly3
1372 function liba.trajpoly3.gen(ctx, ts, p0, p1, v0, v1) end
1374 ---@param ts number
1375 ---@param p0 number
1376 ---@param p1 number
1377 ---@param v0? number
1378 ---@param v1? number
1379 ---@return a.trajpoly3
1380 function trajpoly3:gen(ts, p0, p1, v0, v1) end
1382 ---@param ctx a.trajpoly3
1383 ---@param x number
1384 ---@return number
1385 function liba.trajpoly3.pos(ctx, x) end
1387 ---@param x number
1388 ---@return number
1389 function trajpoly3:pos(x) end
1391 ---@param ctx a.trajpoly3
1392 ---@param x number
1393 ---@return number
1394 function liba.trajpoly3.vel(ctx, x) end
1396 ---@param x number
1397 ---@return number
1398 function trajpoly3:vel(x) end
1400 ---@param ctx a.trajpoly3
1401 ---@param x number
1402 ---@return number
1403 function liba.trajpoly3.acc(ctx, x) end
1405 ---@param x number
1406 ---@return number
1407 function trajpoly3:acc(x) end
1409 ---@class a.trajpoly5
1410 ---@field p table
1411 ---@field v table
1412 ---@field a table
1413 local trajpoly5 = {}
1414 ---@class liba.trajpoly5
1415 ---@overload fun(ts: number, p0: number, p1: number, v0?: number, v1?: number, a0?: number, a1?: number): a.trajpoly5
1416 liba.trajpoly5 = {}
1418 ---@param ts number
1419 ---@param p0 number
1420 ---@param p1 number
1421 ---@param v0? number
1422 ---@param v1? number
1423 ---@param a0? number
1424 ---@param a1? number
1425 ---@return a.trajpoly5
1426 function liba.trajpoly5.new(ts, p0, p1, v0, v1, a0, a1) end
1428 ---@param ts number
1429 ---@param p0 number
1430 ---@param p1 number
1431 ---@param v0? number
1432 ---@param v1? number
1433 ---@param a0? number
1434 ---@param a1? number
1435 ---@return a.trajpoly5
1436 function trajpoly5.new(ts, p0, p1, v0, v1, a0, a1) end
1438 ---@param ctx a.trajpoly5
1439 ---@param ts number
1440 ---@param p0 number
1441 ---@param p1 number
1442 ---@param v0? number
1443 ---@param v1? number
1444 ---@param a0? number
1445 ---@param a1? number
1446 ---@return a.trajpoly5
1447 function liba.trajpoly5.gen(ctx, ts, p0, p1, v0, v1, a0, a1) end
1449 ---@param ts number
1450 ---@param p0 number
1451 ---@param p1 number
1452 ---@param v0? number
1453 ---@param v1? number
1454 ---@param a0? number
1455 ---@param a1? number
1456 ---@return a.trajpoly5
1457 function trajpoly5:gen(ts, p0, p1, v0, v1, a0, a1) end
1459 ---@param ctx a.trajpoly5
1460 ---@param x number
1461 ---@return number
1462 function liba.trajpoly5.pos(ctx, x) end
1464 ---@param x number
1465 ---@return number
1466 function trajpoly5:pos(x) end
1468 ---@param ctx a.trajpoly5
1469 ---@param x number
1470 ---@return number
1471 function liba.trajpoly5.vel(ctx, x) end
1473 ---@param x number
1474 ---@return number
1475 function trajpoly5:vel(x) end
1477 ---@param ctx a.trajpoly5
1478 ---@param x number
1479 ---@return number
1480 function liba.trajpoly5.acc(ctx, x) end
1482 ---@param x number
1483 ---@return number
1484 function trajpoly5:acc(x) end
1486 ---@class a.trajpoly7
1487 ---@field p table
1488 ---@field v table
1489 ---@field a table
1490 ---@field j table
1491 local trajpoly7 = {}
1492 ---@class liba.trajpoly7
1493 ---@overload fun(ts: number, p0: number, p1: number, v0?: number, v1?: number, a0?: number, a1?: number, j0?: number, j1?: number): a.trajpoly7
1494 liba.trajpoly7 = {}
1496 ---@param ts number
1497 ---@param p0 number
1498 ---@param p1 number
1499 ---@param v0? number
1500 ---@param v1? number
1501 ---@param a0? number
1502 ---@param a1? number
1503 ---@param j0? number
1504 ---@param j1? number
1505 ---@return a.trajpoly7
1506 function liba.trajpoly7.new(ts, p0, p1, v0, v1, a0, a1, j0, j1) end
1508 ---@param ts number
1509 ---@param p0 number
1510 ---@param p1 number
1511 ---@param v0? number
1512 ---@param v1? number
1513 ---@param a0? number
1514 ---@param a1? number
1515 ---@param j0? number
1516 ---@param j1? number
1517 ---@return a.trajpoly7
1518 function trajpoly7.new(ts, p0, p1, v0, v1, a0, a1, j0, j1) end
1520 ---@param ctx a.trajpoly7
1521 ---@param ts number
1522 ---@param p0 number
1523 ---@param p1 number
1524 ---@param v0? number
1525 ---@param v1? number
1526 ---@param a0? number
1527 ---@param a1? number
1528 ---@param j0? number
1529 ---@param j1? number
1530 ---@return a.trajpoly7
1531 function liba.trajpoly7.gen(ctx, ts, p0, p1, v0, v1, a0, a1, j0, j1) end
1533 ---@param ts number
1534 ---@param p0 number
1535 ---@param p1 number
1536 ---@param v0? number
1537 ---@param v1? number
1538 ---@param a0? number
1539 ---@param a1? number
1540 ---@param j0? number
1541 ---@param j1? number
1542 ---@return a.trajpoly7
1543 function trajpoly7:gen(ts, p0, p1, v0, v1, a0, a1, j0, j1) end
1545 ---@param ctx a.trajpoly7
1546 ---@param x number
1547 ---@return number
1548 function liba.trajpoly7.pos(ctx, x) end
1550 ---@param x number
1551 ---@return number
1552 function trajpoly7:pos(x) end
1554 ---@param ctx a.trajpoly7
1555 ---@param x number
1556 ---@return number
1557 function liba.trajpoly7.vel(ctx, x) end
1559 ---@param x number
1560 ---@return number
1561 function trajpoly7:vel(x) end
1563 ---@param ctx a.trajpoly7
1564 ---@param x number
1565 ---@return number
1566 function liba.trajpoly7.acc(ctx, x) end
1568 ---@param x number
1569 ---@return number
1570 function trajpoly7:acc(x) end
1572 ---@param ctx a.trajpoly7
1573 ---@param x number
1574 ---@return number
1575 function liba.trajpoly7.jer(ctx, x) end
1577 ---@param x number
1578 ---@return number
1579 function trajpoly7:jer(x) end
1581 ---@class a.trajtrap
1582 ---@field t number
1583 ---@field p0 number
1584 ---@field p1 number
1585 ---@field v0 number
1586 ---@field v1 number
1587 ---@field vc number
1588 ---@field ta number
1589 ---@field td number
1590 ---@field pa number
1591 ---@field pd number
1592 ---@field ac number
1593 ---@field de number
1594 local trajtrap = {}
1595 ---@class liba.trajtrap
1596 ---@overload fun(): a.trajtrap
1597 liba.trajtrap = {}
1599 ---@return a.trajtrap
1600 function liba.trajtrap.new() end
1602 ---@return a.trajtrap
1603 function trajtrap.new() end
1605 ---@param ctx a.trajtrap
1606 ---@param vm number
1607 ---@param ac number
1608 ---@param de number
1609 ---@param p0 number
1610 ---@param p1 number
1611 ---@param v0? number
1612 ---@param v1? number
1613 ---@return number
1614 function liba.trajtrap.gen(ctx, vm, ac, de, p0, p1, v0, v1) end
1616 ---@param vm number
1617 ---@param ac number
1618 ---@param de number
1619 ---@param p0 number
1620 ---@param p1 number
1621 ---@param v0? number
1622 ---@param v1? number
1623 ---@return number
1624 function trajtrap:gen(vm, ac, de, p0, p1, v0, v1) end
1626 ---@param ctx a.trajtrap
1627 ---@param x number
1628 ---@return number
1629 function liba.trajtrap.pos(ctx, x) end
1631 ---@param x number
1632 ---@return number
1633 function trajtrap:pos(x) end
1635 ---@param ctx a.trajtrap
1636 ---@param x number
1637 ---@return number
1638 function liba.trajtrap.vel(ctx, x) end
1640 ---@param x number
1641 ---@return number
1642 function trajtrap:vel(x) end
1644 ---@param ctx a.trajtrap
1645 ---@param x number
1646 ---@return number
1647 function liba.trajtrap.acc(ctx, x) end
1649 ---@param x number
1650 ---@return number
1651 function trajtrap:acc(x) end
1653 ---@class a.version
1654 ---@field major integer
1655 ---@field minor integer
1656 ---@field third integer
1657 ---@field extra integer
1658 ---@field alpha string
1659 ---@overload fun(major?: integer, minor?: integer, third?: integer, extra?: integer): a.version
1660 ---@overload fun(ver: string): a.version
1661 local version = {}
1662 ---@class liba.version
1663 ---@overload fun(major?: integer, minor?: integer, third?: integer, extra?: integer): a.version
1664 ---@overload fun(ver: string): a.version
1665 liba.version = {}
1666 liba.version.MAJOR = 0
1667 liba.version.MINOR = 0
1668 liba.version.PATCH = 0
1669 liba.version.TWEAK = 0
1671 ---@param major? integer
1672 ---@param minor? integer
1673 ---@param patch? integer
1674 ---@return integer -3,-2,-1,0,1,2,3
1675 function liba.version.check(major, minor, patch) end
1677 ---@param major? integer
1678 ---@param minor? integer
1679 ---@param third? integer
1680 ---@param extra? integer
1681 ---@return a.version
1682 ---@overload fun(ver: string): a.version
1683 function liba.version.new(major, minor, third, extra) end
1685 ---@param major? integer
1686 ---@param minor? integer
1687 ---@param third? integer
1688 ---@param extra? integer
1689 ---@return a.version
1690 ---@overload fun(ver: string): a.version
1691 function version.new(major, minor, third, extra) end
1693 ---@param ctx a.version
1694 ---@param major? integer
1695 ---@param minor? integer
1696 ---@param third? integer
1697 ---@param extra? integer
1698 ---@return a.version
1699 ---@overload fun(ctx: a.version, ver: string): a.version
1700 function liba.version.init(ctx, major, minor, third, extra) end
1702 ---@param major? integer
1703 ---@param minor? integer
1704 ---@param third? integer
1705 ---@param extra? integer
1706 ---@return a.version
1707 ---@overload fun(ver: string): a.version
1708 function version:init(major, minor, third, extra) end
1710 ---@param ctx a.version
1711 ---@param ver string
1712 ---@return a.version
1713 function liba.version.parse(ctx, ver) end
1715 ---@param ver string
1716 ---@return a.version
1717 function version:parse(ver) end
1719 ---@param lhs a.version
1720 ---@param rhs a.version
1721 ---@return integer -3,-2,-1,0,1,2,3
1722 function liba.version.cmp(lhs, rhs) end
1724 ---@param rhs a.version
1725 ---@return integer -3,-2,-1,0,1,2,3
1726 function version:cmp(rhs) end
1728 ---@param lhs a.version
1729 ---@param rhs a.version
1730 ---@return boolean
1731 function liba.version.lt(lhs, rhs) end
1733 ---@param rhs a.version
1734 ---@return boolean
1735 function version:lt(rhs) end
1737 ---@param lhs a.version
1738 ---@param rhs a.version
1739 ---@return boolean
1740 function liba.version.gt(lhs, rhs) end
1742 ---@param rhs a.version
1743 ---@return boolean
1744 function version:gt(rhs) end
1746 ---@param lhs a.version
1747 ---@param rhs a.version
1748 ---@return boolean
1749 function liba.version.le(lhs, rhs) end
1751 ---@param rhs a.version
1752 ---@return boolean
1753 function version:le(rhs) end
1755 ---@param lhs a.version
1756 ---@param rhs a.version
1757 ---@return boolean
1758 function liba.version.ge(lhs, rhs) end
1760 ---@param rhs a.version
1761 ---@return boolean
1762 function version:ge(rhs) end
1764 ---@param lhs a.version
1765 ---@param rhs a.version
1766 ---@return boolean
1767 function liba.version.eq(lhs, rhs) end
1769 ---@param rhs a.version
1770 ---@return boolean
1771 function version:eq(rhs) end
1773 ---@param lhs a.version
1774 ---@param rhs a.version
1775 ---@return boolean
1776 function liba.version.ne(lhs, rhs) end
1778 ---@param rhs a.version
1779 ---@return boolean
1780 function version:ne(rhs) end
1782 liba.VERSION = "0.1.14"
1784 return liba