mbarbin / super-master-mind / 236

coverage: 89.377% (+1.1%) from 88.313%
236

push

github

web-flow 
Merge pull request #52 from mbarbin/improve-stdlib

Improve local stdlib

176 of 188 new or added lines in 15 files covered. (93.62%)

1220 of 1365 relevant lines covered (89.38%)

2333623.83 hits per line

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

66.67
/src/stdlib/ordering0.ml
1 
(*********************************************************************************)
2 
(*  super-master-mind: A solver for the super master mind game                   *)
3 
(*  SPDX-FileCopyrightText: 2021-2025 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
4 
(*  SPDX-License-Identifier: MIT                                                 *)
5 
(*********************************************************************************)
6 









7



include Ordering










8












9



let to_dyn = function











10



  | Lt -> Dyn0.variant "Lt" []




1✔






11



  | Eq -> Dyn0.variant "Eq" []




1✔






NEW


12



  | Gt -> Dyn0.variant "Gt" []




×







13



;;
























    

  • 

    •