package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

Dune Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (8)

Authors

Maintainers

Sources

goblint-2.1.0.tbz

sha256=bfc412ec2e447eaef6f4f83892e3511ebf305593cb00561c1406be3ae8bf48e9

sha512=5f2a162e5f36bffafc9836b0d18b5b2808cecfa6bf68f83bb7d1e8b9947ac74cf07776eb09274b4b29d55c897a45a10768f0d9ed25810cf6ba2409c525e4cd4d

doc/goblint.lib/Goblint_lib/Prelude/All/Legacy/index.html

Module `All.Legacy`Source

include module type of struct include Pervasives end

Sourceval raise : exn -> 'a

Sourceval raise_notrace : exn -> 'a

Sourceval invalid_arg : string -> 'a

Sourceval failwith : string -> 'a

Sourceexception Exit

Sourceval (=) : 'a -> 'a -> bool

Sourceval (<>) : 'a -> 'a -> bool

Sourceval (<) : 'a -> 'a -> bool

Sourceval (>) : 'a -> 'a -> bool

Sourceval (<=) : 'a -> 'a -> bool

Sourceval (>=) : 'a -> 'a -> bool

Sourceval compare : 'a -> 'a -> int

Sourceval min : 'a -> 'a -> 'a

Sourceval max : 'a -> 'a -> 'a

Sourceval (==) : 'a -> 'a -> bool

Sourceval (!=) : 'a -> 'a -> bool

Sourceval not : bool -> bool

Sourceval (&&) : bool -> bool -> bool

Sourceval (&) : bool -> bool -> bool

deprecated Use (&&) instead.

Sourceval (||) : bool -> bool -> bool

Sourceval (or) : bool -> bool -> bool

deprecated Use (||) instead.

Sourceval __LOC__ : string

Sourceval __FILE__ : string

Sourceval __LINE__ : int

Sourceval __MODULE__ : string

Sourceval __POS__ : string * int * int * int

Sourceval __LOC_OF__ : 'a -> string * 'a

Sourceval __LINE_OF__ : 'a -> int * 'a

Sourceval __POS_OF__ : 'a -> (string * int * int * int) * 'a

Sourceval (|>) : 'a -> ('a -> 'b) -> 'b

Sourceval (@@) : ('a -> 'b) -> 'a -> 'b

Sourceval (~-) : int -> int

Sourceval (~+) : int -> int

Sourceval succ : int -> int

Sourceval pred : int -> int

Sourceval (+) : int -> int -> int

Sourceval (-) : int -> int -> int

Sourceval (*) : int -> int -> int

Sourceval (/) : int -> int -> int

Sourceval (mod) : int -> int -> int

Sourceval abs : int -> int

Sourceval max_int : int

Sourceval min_int : int

Sourceval (land) : int -> int -> int

Sourceval (lor) : int -> int -> int

Sourceval (lxor) : int -> int -> int

Sourceval lnot : int -> int

Sourceval (lsl) : int -> int -> int

Sourceval (lsr) : int -> int -> int

Sourceval (asr) : int -> int -> int

Sourceval (~-.) : float -> float

Sourceval (~+.) : float -> float

Sourceval (+.) : float -> float -> float

Sourceval (-.) : float -> float -> float

Sourceval (*.) : float -> float -> float

Sourceval (/.) : float -> float -> float

Sourceval (**) : float -> float -> float

Sourceval sqrt : float -> float

Sourceval exp : float -> float

Sourceval log : float -> float

Sourceval log10 : float -> float

Sourceval expm1 : float -> float

Sourceval log1p : float -> float

Sourceval cos : float -> float

Sourceval sin : float -> float

Sourceval tan : float -> float

Sourceval acos : float -> float

Sourceval asin : float -> float

Sourceval atan : float -> float

Sourceval atan2 : float -> float -> float

Sourceval hypot : float -> float -> float

Sourceval cosh : float -> float

Sourceval sinh : float -> float

Sourceval tanh : float -> float

Sourceval ceil : float -> float

Sourceval floor : float -> float

Sourceval abs_float : float -> float

Sourceval copysign : float -> float -> float

Sourceval mod_float : float -> float -> float

Sourceval frexp : float -> float * int

Sourceval ldexp : float -> int -> float

Sourceval modf : float -> float * float

Sourceval float : int -> float

Sourceval float_of_int : int -> float

Sourceval truncate : float -> int

Sourceval int_of_float : float -> int

Sourceval infinity : float

Sourceval neg_infinity : float

Sourceval nan : float

Sourceval max_float : float

Sourceval min_float : float

Sourceval epsilon_float : float

Sourcetype nonrec fpclass = fpclass =

| FP_normal
| FP_subnormal
| FP_zero
| FP_infinite
| FP_nan

Sourceval classify_float : float -> fpclass

Sourceval (^) : string -> string -> string

Sourceval int_of_char : char -> int

Sourceval char_of_int : int -> char

Sourceval ignore : 'a -> unit

Sourceval string_of_bool : bool -> string

Sourceval bool_of_string : string -> bool

Sourceval bool_of_string_opt : string -> bool option

Sourceval string_of_int : int -> string

Sourceval int_of_string : string -> int

Sourceval int_of_string_opt : string -> int option

Sourceval string_of_float : float -> string

Sourceval float_of_string : string -> float

Sourceval float_of_string_opt : string -> float option

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

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

Sourceval (@) : 'a list -> 'a list -> 'a list

Sourcetype nonrec in_channel = in_channel

Sourcetype nonrec out_channel = out_channel

Sourceval stdin : in_channel

Sourceval stdout : out_channel

Sourceval stderr : out_channel

Sourceval print_char : char -> unit

Sourceval print_string : string -> unit

Sourceval print_bytes : bytes -> unit

Sourceval print_int : int -> unit

Sourceval print_float : float -> unit

Sourceval print_endline : string -> unit

Sourceval print_newline : unit -> unit

Sourceval prerr_char : char -> unit

Sourceval prerr_string : string -> unit

Sourceval prerr_bytes : bytes -> unit

Sourceval prerr_int : int -> unit

Sourceval prerr_float : float -> unit

Sourceval prerr_endline : string -> unit

Sourceval prerr_newline : unit -> unit

Sourceval read_line : unit -> string

Sourceval read_int : unit -> int

Sourceval read_int_opt : unit -> int option

Sourceval read_float : unit -> float

Sourceval read_float_opt : unit -> float option

Sourcetype nonrec open_flag = open_flag =

| Open_rdonly
| Open_wronly
| Open_append
| Open_creat
| Open_trunc
| Open_excl
| Open_binary
| Open_text
| Open_nonblock

Sourceval open_out : string -> out_channel

Sourceval open_out_bin : string -> out_channel

Sourceval open_out_gen : open_flag list -> int -> string -> out_channel

Sourceval flush : out_channel -> unit

Sourceval flush_all : unit -> unit

Sourceval output_char : out_channel -> char -> unit

Sourceval output_string : out_channel -> string -> unit

Sourceval output_bytes : out_channel -> bytes -> unit

Sourceval output : out_channel -> bytes -> int -> int -> unit

Sourceval output_substring : out_channel -> string -> int -> int -> unit

Sourceval output_byte : out_channel -> int -> unit

Sourceval output_binary_int : out_channel -> int -> unit

Sourceval output_value : out_channel -> 'a -> unit

Sourceval seek_out : out_channel -> int -> unit

Sourceval pos_out : out_channel -> int

Sourceval out_channel_length : out_channel -> int

Sourceval close_out : out_channel -> unit

Sourceval close_out_noerr : out_channel -> unit

Sourceval set_binary_mode_out : out_channel -> bool -> unit

Sourceval open_in : string -> in_channel

Sourceval open_in_bin : string -> in_channel

Sourceval open_in_gen : open_flag list -> int -> string -> in_channel

Sourceval input_char : in_channel -> char

Sourceval input_line : in_channel -> string

Sourceval input : in_channel -> bytes -> int -> int -> int

Sourceval really_input : in_channel -> bytes -> int -> int -> unit

Sourceval really_input_string : in_channel -> int -> string

Sourceval input_byte : in_channel -> int

Sourceval input_binary_int : in_channel -> int

Sourceval input_value : in_channel -> 'a

Sourceval seek_in : in_channel -> int -> unit

Sourceval pos_in : in_channel -> int

Sourceval in_channel_length : in_channel -> int

Sourceval close_in : in_channel -> unit

Sourceval close_in_noerr : in_channel -> unit

Sourceval set_binary_mode_in : in_channel -> bool -> unit

Sourcemodule LargeFile = Pervasives.LargeFile

Sourcetype nonrec 'a ref = 'a ref = {

mutable contents : 'a;

}

Sourceval ref : 'a -> 'a ref

Sourceval (!) : 'a ref -> 'a

Sourceval (:=) : 'a ref -> 'a -> unit

Sourceval incr : int ref -> unit

Sourceval decr : int ref -> unit

Sourcetype nonrec ('a, 'b) result = ('a, 'b) result =

| Ok of 'a
| Error of 'b

Source

type ('a, 'b, 'c, 'd, 'e, 'f) format6 =
  ('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6

Sourcetype ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6

Sourcetype ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4

Sourceval string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string

Source

val format_of_string : 
  ('a, 'b, 'c, 'd, 'e, 'f) format6 ->
  ('a, 'b, 'c, 'd, 'e, 'f) format6

Source

val (^^) : 
  ('a, 'b, 'c, 'd, 'e, 'f) format6 ->
  ('f, 'b, 'c, 'e, 'g, 'h) format6 ->
  ('a, 'b, 'c, 'd, 'g, 'h) format6

Sourceval exit : int -> 'a

Sourceval at_exit : (unit -> unit) -> unit

Sourceval valid_float_lexem : string -> string

Sourceval do_at_exit : unit -> unit

Sourcemodule Arg = Arg

Sourcemodule Array = Array

Sourcemodule ArrayLabels = ArrayLabels

Sourcemodule Buffer = Buffer

Sourcemodule Bytes = Bytes

Sourcemodule Callback = Callback

Sourcemodule Char = Char

Sourcemodule Complex = Complex

Sourcemodule Digest = Digest

Sourcemodule Either = Either

Sourcemodule Filename = Filename

Sourcemodule Format = Format

Sourcemodule Gc = Gc

module Genlex = Genlex

Sourcemodule Hashtbl = Hashtbl

Sourcemodule Int32 = Int32

Sourcemodule Int64 = Int64

Sourcemodule Lazy = Lazy

Sourcemodule Lexing = Lexing

Sourcemodule List = List

Sourcemodule ListLabels = ListLabels

Sourcemodule Map = Map

Sourcemodule Marshal = Marshal

Sourcemodule MoreLabels = MoreLabels

Sourcemodule Nativeint = Nativeint

Sourcemodule Oo = Oo

Sourcemodule Parsing = Parsing

Sourcemodule Printexc = Printexc

Sourcemodule Printf = Printf

Sourcemodule Queue = Queue

Sourcemodule Random = Random

Sourcemodule Scanf = Scanf

Sourcemodule Set = Set

Sourcemodule Seq = Seq

Sourcemodule Stack = Stack

Sourcemodule StdLabels = StdLabels

module Stream = Stream

Sourcemodule String = String

Sourcemodule StringLabels = StringLabels

Sourcemodule Sys = Sys

Sourcemodule Weak = Weak

module Unix = Unix

module Num = Num

module Big_int = Big_int

Sourcemodule Bigarray = Bigarray

module Str = Str

Sourcemodule Result = Result

package goblint

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint.lib/Goblint_lib/Prelude/All/Legacy/index.html

Module All.LegacySource

Module `All.Legacy`Source