package ortac-runtime

  1. Overview
  2. Docs
val is_pre_order : ('a -> 'a -> int) -> bool

This function cannot be implemented as a test in Ortac!

  • alert not_implemented This function cannot be implemented in Ortac
OCaml

Innovation. Community. Security.