[Kernel] Using = as a symbol for equality
Avoiding confusing between physical and structural equality.
Showing
- src/kernel_services/analysis/filter/field.ml 1 addition, 1 deletionsrc/kernel_services/analysis/filter/field.ml
- src/kernel_services/analysis/filter/finite.ml 3 additions, 3 deletionssrc/kernel_services/analysis/filter/finite.ml
- src/kernel_services/analysis/filter/finite.mli 2 additions, 2 deletionssrc/kernel_services/analysis/filter/finite.mli
- src/kernel_services/analysis/filter/linear.ml 1 addition, 1 deletionsrc/kernel_services/analysis/filter/linear.ml
- src/kernel_services/analysis/filter/linear_filter_test.ml 2 additions, 2 deletionssrc/kernel_services/analysis/filter/linear_filter_test.ml
Loading
Please register or sign in to comment