package ortac-runtime

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Arithmetic
Couples
References
Sequences
Lists
Arrays
Bags
Sets

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a sequence

type 'a bag

type 'a set

Arithmetic

val succ : integer -> integer

val pred : integer -> integer

val (~-) : integer -> integer

val (+) : integer -> integer -> integer

val (-) : integer -> integer -> integer

val (*) : integer -> integer -> integer

val (/) : integer -> integer -> integer

val (mod) : integer -> integer -> integer

val pow : integer -> integer -> integer

val abs : integer -> integer

val min : integer -> integer -> integer

val max : integer -> integer -> integer

Comparisons

val (>) : integer -> integer -> bool

val (>=) : integer -> integer -> bool

val (<) : integer -> integer -> bool

val (<=) : integer -> integer -> bool

Bitwise operations

val logand : integer -> integer -> integer

val logor : integer -> integer -> integer

val logxor : integer -> integer -> integer

val lognot : integer -> integer

val shift_left : integer -> integer -> integer

val shift_right : integer -> integer -> integer

val shift_right_trunc : integer -> integer -> integer

Machine integers

val integer_of_int : int -> integer

val max_int : integer

val min_int : integer

Couples

val fst : ('a * 'b) -> 'a

val snd : ('a * 'b) -> 'b

References

val (~!) : 'a ref -> 'a

Sequences

val (++) : 'a sequence -> 'a sequence -> 'a sequence

val __mix_Bub : 'a sequence -> integer -> 'a

val __mix_Buddub : 'a sequence -> integer -> integer -> 'a sequence

val __mix_Buddb : 'a sequence -> integer -> 'a sequence

val __mix_Bddub : 'a sequence -> integer -> 'a sequence

module Sequence : sig ... end

Lists

module List : sig ... end

Arrays

module Array : sig ... end

Bags

module Bag : sig ... end

Sets

val __mix_Cc : 'a set

module Set : sig ... end

val __mix_Bmgb : ('a -> 'b) -> 'a -> 'b -> 'a -> 'b

module Map : sig ... end

module Order : sig ... end

module Sys : sig ... end