Module Imandrakit

Core utils for Imandra.

This provides common functionalities and foundations for our projects.

include module type of struct include Imandrakit_common end
module Atomic = Imandrakit_common.Atomic
val let@ : ('a -> 'b) -> 'a -> 'b
val spf : ('a, unit, string) format -> 'a
val pp_list_sp : 'a Fmt.printer -> 'a list Fmt.printer

list with spaces *

Various instances

module Str_tbl = Imandrakit_common.Str_tbl
module Str_map = Imandrakit_common.Str_map
module Str_set = Imandrakit_common.Str_set
module Int_tbl = Imandrakit_common.Int_tbl
module Int_map = Imandrakit_common.Int_map
module Int_set = Imandrakit_common.Int_set
include module type of struct include Imandrakit_bytes end

Re-exports

module Error = Imandrakit_error.Error
module Error_core = Imandrakit_error.Error_core
module Error_kind = Imandrakit_error.Kind
module Error_data = Imandrakit_error.Data
module Ser_value = Imandrakit_ser.Value
module Ser_pack = Imandrakit_ser_pack

Local modules

module Ansi_clean : sig ... end

Cleaning ANSI codes from strings

module Apool : sig ... end

Atomic resource pool.

module Backtrack_stack : sig ... end

A backtracking stack

module Backtrackable_tbl : sig ... end
module Bag : sig ... end

Bags.

module Basic_bv : sig ... end

A really basic bitvector

module Bidir_tbl : sig ... end
module Bit_field : sig ... end

Efficient Bit Field for up to 31 or 61 fields.

module Byte_buf : sig ... end
module Byte_slice : sig ... end
module Codec : sig ... end

Codec (encoder/decoder) for values

module Core_classes : sig ... end

Some fundamental base classes

module Dot : sig ... end

Pretty printing in the DOT (graphviz) format.

module Duration_s : sig ... end

Duration, in seconds

module F_queue : sig ... end

Simple functional queue

module Gen_id : sig ... end

Generate integer IDs

module Hashcons : sig ... end

Basic hashconsing.

module Observer : sig ... end

Observer, to subscribe to some events.

module Scc : sig ... end

Strongly connected components.

module Stats : sig ... end

Statistics output.

module Timestamp : sig ... end

Wall-clock timestamps via Ptime

module Timestamp_s : sig ... end

Wall-clock timestamps as a float

module Trace = Trace_core
module Util : sig ... end

Utils

module Util_b64 : sig ... end

Base64

module Util_serpack : sig ... end

Utils for ser-pack

module Util_sockaddr : sig ... end

Socket addresses

module Util_twine : sig ... end

Utils for twine