From 1fad70d0ae723bc84c05ddb353829135dfed487f Mon Sep 17 00:00:00 2001 From: c-cube Date: Thu, 26 Aug 2021 03:54:35 +0000 Subject: [PATCH] deploy: 782afa44158bcc1d817cfb0a540038196933615f --- dev/sidekick/Sidekick_util/Int_id/Make/index.html | 2 ++ dev/sidekick/Sidekick_util/Int_id/index.html | 2 ++ dev/sidekick/Sidekick_util/Int_id/module-type-S/index.html | 2 ++ dev/sidekick/Sidekick_util/index.html | 2 +- dev/sidekick/Sidekick_util__/Int_id/Make/index.html | 2 ++ dev/sidekick/Sidekick_util__/Int_id/index.html | 2 ++ dev/sidekick/Sidekick_util__/Int_id/module-type-S/index.html | 2 ++ dev/sidekick/Sidekick_util__/index.html | 2 +- dev/sidekick/Sidekick_util__Int_id/.dune-keep | 0 dev/sidekick/Sidekick_util__Int_id/Make/index.html | 2 ++ dev/sidekick/Sidekick_util__Int_id/index.html | 2 ++ dev/sidekick/Sidekick_util__Int_id/module-type-S/index.html | 2 ++ 12 files changed, 20 insertions(+), 2 deletions(-) create mode 100644 dev/sidekick/Sidekick_util/Int_id/Make/index.html create mode 100644 dev/sidekick/Sidekick_util/Int_id/index.html create mode 100644 dev/sidekick/Sidekick_util/Int_id/module-type-S/index.html create mode 100644 dev/sidekick/Sidekick_util__/Int_id/Make/index.html create mode 100644 dev/sidekick/Sidekick_util__/Int_id/index.html create mode 100644 dev/sidekick/Sidekick_util__/Int_id/module-type-S/index.html create mode 100644 dev/sidekick/Sidekick_util__Int_id/.dune-keep create mode 100644 dev/sidekick/Sidekick_util__Int_id/Make/index.html create mode 100644 dev/sidekick/Sidekick_util__Int_id/index.html create mode 100644 dev/sidekick/Sidekick_util__Int_id/module-type-S/index.html 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