diff --git a/dev/sidekick/Sidekick_util/Int_id/Make/index.html b/dev/sidekick/Sidekick_util/Int_id/Make/index.html new file mode 100644 index 00000000..a9e48b98 --- /dev/null +++ b/dev/sidekick/Sidekick_util/Int_id/Make/index.html @@ -0,0 +1,2 @@ + +Make (sidekick.Sidekick_util.Int_id.Make)

Module Int_id.Make

Parameters

Signature

type t = int
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : int CCHash.t
val to_int : 'a -> 'a
val of_int_unsafe : int -> t
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util/Int_id/index.html b/dev/sidekick/Sidekick_util/Int_id/index.html new file mode 100644 index 00000000..ad49f7aa --- /dev/null +++ b/dev/sidekick/Sidekick_util/Int_id/index.html @@ -0,0 +1,2 @@ + +Int_id (sidekick.Sidekick_util.Int_id)

Module Sidekick_util.Int_id

module type S = sig ... end
module Make : functor () sig ... end
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util/Int_id/module-type-S/index.html b/dev/sidekick/Sidekick_util/Int_id/module-type-S/index.html new file mode 100644 index 00000000..7aabd2a5 --- /dev/null +++ b/dev/sidekick/Sidekick_util/Int_id/module-type-S/index.html @@ -0,0 +1,2 @@ + +S (sidekick.Sidekick_util.Int_id.S)

Module type Int_id.S

type t = private int
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val to_int : t -> int
val of_int_unsafe : int -> t
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util/index.html b/dev/sidekick/Sidekick_util/index.html index 4c2648cb..e7399876 100644 --- a/dev/sidekick/Sidekick_util/index.html +++ b/dev/sidekick/Sidekick_util/index.html @@ -1,2 +1,2 @@ -Sidekick_util (sidekick.Sidekick_util)

Module Sidekick_util

module Fmt = CCFormat
module Util : sig ... end
module Vec : sig ... end

Vectors

module VecI32 : sig ... end

Vectors of int32 integers

module Vec_float : sig ... end

Vectors of floats

module Vec_sig : sig ... end
module Bitvec : sig ... end

Bitvector

module Int_id = Int_id
module Int_tbl = Util.Int_tbl
module Int_set = Util.Int_set
module Int_map = Util.Int_map
module IArray : sig ... end
module Backtrack_stack : sig ... end
module Backtrackable_tbl : sig ... end
module Log : sig ... end

Logging function, for debugging

module Error : sig ... end
module Bag : sig ... end
module Stat : sig ... end
module Hash : sig ... end
module Profile : sig ... end
module Intf = Sidekick_sigs
\ No newline at end of file +Sidekick_util (sidekick.Sidekick_util)

Module Sidekick_util

module Fmt = CCFormat
module Util : sig ... end
module Vec : sig ... end

Vectors

module VecI32 : sig ... end

Vectors of int32 integers

module Vec_float : sig ... end

Vectors of floats

module Vec_sig : sig ... end
module Bitvec : sig ... end

Bitvector

module Int_id : sig ... end
module Int_tbl = Util.Int_tbl
module Int_set = Util.Int_set
module Int_map = Util.Int_map
module IArray : sig ... end
module Backtrack_stack : sig ... end
module Backtrackable_tbl : sig ... end
module Log : sig ... end

Logging function, for debugging

module Error : sig ... end
module Bag : sig ... end
module Stat : sig ... end
module Hash : sig ... end
module Profile : sig ... end
module Intf = Sidekick_sigs
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util__/Int_id/Make/index.html b/dev/sidekick/Sidekick_util__/Int_id/Make/index.html new file mode 100644 index 00000000..5e76d1dc --- /dev/null +++ b/dev/sidekick/Sidekick_util__/Int_id/Make/index.html @@ -0,0 +1,2 @@ + +Make (sidekick.Sidekick_util__.Int_id.Make)

Module Int_id.Make

Parameters

Signature

type t = int
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : int CCHash.t
val to_int : 'a -> 'a
val of_int_unsafe : int -> t
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util__/Int_id/index.html b/dev/sidekick/Sidekick_util__/Int_id/index.html new file mode 100644 index 00000000..ddab5ada --- /dev/null +++ b/dev/sidekick/Sidekick_util__/Int_id/index.html @@ -0,0 +1,2 @@ + +Int_id (sidekick.Sidekick_util__.Int_id)

Module Sidekick_util__.Int_id

module type S = sig ... end
module Make : functor () sig ... end
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util__/Int_id/module-type-S/index.html b/dev/sidekick/Sidekick_util__/Int_id/module-type-S/index.html new file mode 100644 index 00000000..8bed7aa5 --- /dev/null +++ b/dev/sidekick/Sidekick_util__/Int_id/module-type-S/index.html @@ -0,0 +1,2 @@ + +S (sidekick.Sidekick_util__.Int_id.S)

Module type Int_id.S

type t = private int
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val to_int : t -> int
val of_int_unsafe : int -> t
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util__/index.html b/dev/sidekick/Sidekick_util__/index.html index 4d9e5e2a..eafc4da5 100644 --- a/dev/sidekick/Sidekick_util__/index.html +++ b/dev/sidekick/Sidekick_util__/index.html @@ -1,2 +1,2 @@ -Sidekick_util__ (sidekick.Sidekick_util__)

Module Sidekick_util__

module Backtrack_stack : sig ... end
module Backtrackable_tbl : sig ... end
module Bag : sig ... end
module Bitvec : sig ... end
module Error : sig ... end
module Hash : sig ... end
module IArray : sig ... end
module Log : sig ... end
module Profile : sig ... end
module Stat : sig ... end
module Util : sig ... end
module Vec : sig ... end
module VecI32 : sig ... end
module Vec_float : sig ... end
module Vec_sig : sig ... end
\ No newline at end of file +Sidekick_util__ (sidekick.Sidekick_util__)

Module Sidekick_util__

module Backtrack_stack : sig ... end
module Backtrackable_tbl : sig ... end
module Bag : sig ... end
module Bitvec : sig ... end
module Error : sig ... end
module Hash : sig ... end
module IArray : sig ... end
module Int_id : sig ... end
module Log : sig ... end
module Profile : sig ... end
module Stat : sig ... end
module Util : sig ... end
module Vec : sig ... end
module VecI32 : sig ... end
module Vec_float : sig ... end
module Vec_sig : sig ... end
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util__Int_id/.dune-keep b/dev/sidekick/Sidekick_util__Int_id/.dune-keep new file mode 100644 index 00000000..e69de29b diff --git a/dev/sidekick/Sidekick_util__Int_id/Make/index.html b/dev/sidekick/Sidekick_util__Int_id/Make/index.html new file mode 100644 index 00000000..a905b492 --- /dev/null +++ b/dev/sidekick/Sidekick_util__Int_id/Make/index.html @@ -0,0 +1,2 @@ + +Make (sidekick.Sidekick_util__Int_id.Make)

Module Sidekick_util__Int_id.Make

Parameters

Signature

type t = int
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : int CCHash.t
val to_int : 'a -> 'a
val of_int_unsafe : int -> t
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util__Int_id/index.html b/dev/sidekick/Sidekick_util__Int_id/index.html new file mode 100644 index 00000000..9913da9c --- /dev/null +++ b/dev/sidekick/Sidekick_util__Int_id/index.html @@ -0,0 +1,2 @@ + +Sidekick_util__Int_id (sidekick.Sidekick_util__Int_id)

Module Sidekick_util__Int_id

module type S = sig ... end
module Make : functor () sig ... end
\ No newline at end of file diff --git a/dev/sidekick/Sidekick_util__Int_id/module-type-S/index.html b/dev/sidekick/Sidekick_util__Int_id/module-type-S/index.html new file mode 100644 index 00000000..b7dafd3a --- /dev/null +++ b/dev/sidekick/Sidekick_util__Int_id/module-type-S/index.html @@ -0,0 +1,2 @@ + +S (sidekick.Sidekick_util__Int_id.S)

Module type Sidekick_util__Int_id.S

type t = private int
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val to_int : t -> int
val of_int_unsafe : int -> t
\ No newline at end of file