Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- String.reduceLT = String.reduceBinPred `LT.lt 4 fun (x x_1 : String) => decide (x < x_1)
Instances For
Equations
- String.reduceLE = String.reduceBinPred `LE.le 4 fun (x x_1 : String) => decide (x ≤ x_1)
Instances For
Equations
- String.reduceGT = String.reduceBinPred `GT.gt 4 fun (x x_1 : String) => decide (x > x_1)
Instances For
Equations
- String.reduceGE = String.reduceBinPred `GE.ge 4 fun (x x_1 : String) => decide (x ≥ x_1)
Instances For
Equations
- String.reduceEq = String.reduceBinPred `Eq 3 fun (x x_1 : String) => decide (x = x_1)
Instances For
Equations
- String.reduceNe = String.reduceBinPred `Ne 3 fun (x x_1 : String) => decide (x ≠ x_1)
Instances For
Equations
- String.reduceBEq = String.reduceBoolPred `BEq.beq 4 fun (x x_1 : String) => x == x_1
Instances For
Equations
- String.reduceBNe = String.reduceBoolPred `bne 4 fun (x x_1 : String) => x != x_1