package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Prelude end
include module type of struct include Stdlib end
val raise : exn -> 'a
val raise_notrace : exn -> 'a
exception Exit
exception Match_failure of string * int * int
exception Assert_failure of string * int * int
exception Invalid_argument of string
exception Failure of string
exception Not_found
exception Out_of_memory
exception Stack_overflow
exception Sys_error of string
exception End_of_file
exception Division_by_zero
exception Sys_blocked_io
exception Undefined_recursive_module of string * int * int
val not : bool -> bool
val (&&) : bool -> bool -> bool
val (||) : bool -> bool -> bool
val __LOC__ : string
val __FILE__ : string
val __LINE__ : int
val __MODULE__ : string
val __POS__ : string * int * int * int
val __FUNCTION__ : string
val __LOC_OF__ : 'a -> string * 'a
val __LINE_OF__ : 'a -> int * 'a
val __POS_OF__ : 'a -> (string * int * int * int) * 'a
val (|>) : 'a -> ('a -> 'b) -> 'b
val (@@) : ('a -> 'b) -> 'a -> 'b
val (~-) : int -> int
val (~+) : int -> int
val succ : int -> int
val pred : int -> int
val (+) : int -> int -> int
val (-) : int -> int -> int
val (*) : int -> int -> int
val (/) : int -> int -> int
val (mod) : int -> int -> int
val abs : int -> int
val max_int : int
val min_int : int
val (land) : int -> int -> int
val (lor) : int -> int -> int
val (lxor) : int -> int -> int
val lnot : int -> int
val (lsl) : int -> int -> int
val (lsr) : int -> int -> int
val (asr) : int -> int -> int
val (~-.) : float -> float
val (~+.) : float -> float
val (+.) : float -> float -> float
val (-.) : float -> float -> float
val (*.) : float -> float -> float
val (/.) : float -> float -> float
val (**) : float -> float -> float
val sqrt : float -> float
val exp : float -> float
val log : float -> float
val log10 : float -> float
val expm1 : float -> float
val log1p : float -> float
val cos : float -> float
val sin : float -> float
val tan : float -> float
val acos : float -> float
val asin : float -> float
val atan : float -> float
val atan2 : float -> float -> float
val hypot : float -> float -> float
val cosh : float -> float
val sinh : float -> float
val tanh : float -> float
val acosh : float -> float
val asinh : float -> float
val atanh : float -> float
val ceil : float -> float
val floor : float -> float
val abs_float : float -> float
val copysign : float -> float -> float
val mod_float : float -> float -> float
val frexp : float -> float * int
val ldexp : float -> int -> float
val modf : float -> float * float
val float : int -> float
val float_of_int : int -> float
val truncate : float -> int
val int_of_float : float -> int
val infinity : float
val neg_infinity : float
val nan : float
val max_float : float
val min_float : float
val epsilon_float : float
type fpclass = Stdlib.fpclass =
  1. | FP_normal
  2. | FP_subnormal
  3. | FP_zero
  4. | FP_infinite
  5. | FP_nan
val classify_float : float -> fpclass
val int_of_char : char -> int
val string_of_bool : bool -> string
val string_of_int : int -> string
val string_of_float : float -> string
val fst : ('a * 'b) -> 'a
val snd : ('a * 'b) -> 'b
val (@) : 'a list -> 'a list -> 'a list
type in_channel = Stdlib.in_channel
type out_channel = Stdlib.out_channel
val stdin : in_channel
val stdout : out_channel
val stderr : out_channel
type open_flag = Stdlib.open_flag =
  1. | Open_rdonly
  2. | Open_wronly
  3. | Open_append
  4. | Open_creat
  5. | Open_trunc
  6. | Open_excl
  7. | Open_binary
  8. | Open_text
  9. | Open_nonblock
val pos_in : in_channel -> int
val in_channel_length : in_channel -> int
val close_in : in_channel -> unit
val close_in_noerr : in_channel -> unit
val set_binary_mode_in : in_channel -> bool -> unit
module LargeFile = Prelude.LargeFile
type !'a ref = 'a Stdlib.ref = {
  1. mutable contents : 'a;
}
val ref : 'a -> 'a ref
val (!) : 'a ref -> 'a
val (:=) : 'a ref -> 'a -> unit
val incr : int ref -> unit
val decr : int ref -> unit
type (!'a, !'b) result = ('a, 'b) Stdlib.result =
  1. | Ok of 'a
  2. | Error of 'b
type (!'a, !'b, !'c, !'d, !'e, !'f) format6 = ('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6
type (!'a, !'b, !'c, !'d) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6
type (!'a, !'b, !'c) format = ('a, 'b, 'c, 'c) format4
val string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string
val format_of_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6
val (^^) : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('f, 'b, 'c, 'e, 'g, 'h) format6 -> ('a, 'b, 'c, 'd, 'g, 'h) format6
val exit : int -> 'a
val at_exit : (unit -> unit) -> unit
val valid_float_lexem : string -> string
val unsafe_really_input : in_channel -> bytes -> int -> int -> unit
val do_at_exit : unit -> unit
val do_domain_local_at_exit : (unit -> unit) ref
module Array = Prelude.Array
module Atomic = Prelude.Atomic
module Bigarray = Prelude.Bigarray
module Bool = Prelude.Bool
module Buffer = Prelude.Buffer
module Bytes = Prelude.Bytes
module Callback = Prelude.Callback
module Char = Prelude.Char
module Complex = Prelude.Complex
module Condition = Prelude.Condition
module Digest = Prelude.Digest
module Domain = Prelude.Domain
module Effect = Prelude.Effect
module Either = Prelude.Either
module Ephemeron = Prelude.Ephemeron
module Fun = Prelude.Fun
module Gc = Prelude.Gc
module Hashtbl = Prelude.Hashtbl
module In_channel = Prelude.In_channel
module Int = Prelude.Int
module Lazy = Prelude.Lazy
module Lexing = Prelude.Lexing
module List = Prelude.List
module Map = Prelude.Map
module Marshal = Prelude.Marshal
module Mutex = Prelude.Mutex
module Nativeint = Prelude.Nativeint
module Obj = Prelude.Obj
module Oo = Prelude.Oo
module Out_channel = Prelude.Out_channel
module Printexc = Prelude.Printexc
module Queue = Prelude.Queue
module Random = Prelude.Random
module Scanf = Prelude.Scanf
module Semaphore = Prelude.Semaphore
module Seq = Prelude.Seq
module Set = Prelude.Set
module Stack = Prelude.Stack
module String = Prelude.String
module Type = Prelude.Type
module Uchar = Prelude.Uchar
module Unit = Prelude.Unit
module Weak = Prelude.Weak
module Empty = Prelude.Empty
module Float = Prelude.Float
module Int32 = Prelude.Int32
module Int64 = Prelude.Int64
module Printf = Prelude.Printf
module Fmt = Prelude.Fmt
module Format = Prelude.Format
module Arg = Prelude.Arg
module Cmdliner = Prelude.Cmdliner
module ArrayLabels = Prelude.ArrayLabels
module BytesLabels = Prelude.BytesLabels
module ListLabels = Prelude.ListLabels
module MoreLabels = Prelude.MoreLabels
module StdLabels = Prelude.StdLabels
module StringLabels = Prelude.StringLabels
module Filename = Prelude.Filename
module Parsing = Prelude.Parsing
module Stdlib = Prelude.Stdlib
module Sys = Prelude.Sys
val (<>) : int -> int -> bool
val (=) : int -> int -> bool
val (<) : int -> int -> bool
val (>) : int -> int -> bool
val (<=) : int -> int -> bool
val (>=) : int -> int -> bool
val compare : int -> int -> int
val min : int -> int -> int
val max : int -> int -> int
val phys_equal : 'a -> 'a -> bool
val not_phys_equal : 'a -> 'a -> bool
val char_of_int : int -> char option
val bool_of_string : string -> bool option
val int_of_string : string -> int option
val float_of_string : string -> float option
type this_function_has_been_hidden_by_the_prelude_because_it_is_unwanted = Prelude.this_function_has_been_hidden_by_the_prelude_because_it_is_unwanted = |
module Option : sig ... end
module Result : sig ... end
OCaml

Innovation. Community. Security.