package ortac-runtime

You can search for identifiers within the package.

in-package search v0.2.0

package ortac-runtime

ortac-runtime
- Ortac_runtime
  - Errors
  - Gospelstdlib
    
    Array
    
    Bag
    
    List
    
    Map
    
    Order
    
    Sequence
    
    Set
    
    Sys
  - Z

Legend:
Library
Module
Module type
Parameter
Class
Class type

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