mbarbin / provider / 211

coverage: 98.141% (-1.9%) from 100.0%
211

Pull #52

github

web-flow 
Merge 4e3aef3ae into 283e5a9e7
Pull Request #52: Local stdlib & simplify dependencies

266 of 281 new or added lines in 35 files covered. (94.66%)

792 of 807 relevant lines covered (98.14%)

7.27 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

25.0
/src/stdlib/ordering0.ml
1 
(*********************************************************************************)
2 
(*  provider - Dynamic Dispatch with Traits                                      *)
3 
(*  SPDX-FileCopyrightText: 2024-2025 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
4 
(*  SPDX-License-Identifier: ISC                                                 *)
5 
(*********************************************************************************)
6 









7



include Ordering










8












9



let to_dyn = function











NEW


10



  | Lt -> Dyn.Variant ("Lt", [])




×








NEW


11



  | Eq -> Dyn.Variant ("Eq", [])




×








NEW


12



  | Gt -> Dyn.Variant ("Gt", [])




×







13



;;










14













15



let of_int n = if n < 0 then Lt else if n = 0 then Eq else Gt




2✔



















    

  • 

    •