Gospelstdlib.Order
val is_pre_order : ('a -> 'a -> int) -> bool
This function cannot be implemented as a test in Ortac!