; BTOR description generated by Yosys 0.33+65 (git sha1 90124dce5, clang 15.0.0 -fPIC -Os) for module std_ge.
1 sort bitvec 32
2 input 1 left ; core.sv:177.34-177.38
3 input 1 right ; core.sv:178.34-178.39
4 sort bitvec 1
5 ugte 4 2 3
6 output 5 out ; core.sv:179.18-179.21
; end of yosys output