package kappa-library

You can search for identifiers within the package.

in-package search v0.2.0

Public internals of the Kappa tool suite. Use this package to use kappa as a lib

Install

Dune Dependency

kappalanguage.org Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

v4.1.3.tar.gz

md5=1c9a8a0d79f085757817f90834e166f5

sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3

doc/src/kappa-library.generic/kappa_data_structures.ml.html

Source file `kappa_data_structures.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
(* generated by dune *)

(** @canonical Kappa_data_structures.Base64 *)
module Base64 = Kappa_data_structures__Base64

(** @canonical Kappa_data_structures.Bigbuffer *)
module Bigbuffer = Kappa_data_structures__Bigbuffer

(** @canonical Kappa_data_structures.Buffers *)
module Buffers = Kappa_data_structures__Buffers

(** @canonical Kappa_data_structures.Cache *)
module Cache = Kappa_data_structures__Cache

(** @canonical Kappa_data_structures.Circular_buffers *)
module Circular_buffers = Kappa_data_structures__Circular_buffers

(** @canonical Kappa_data_structures.Color *)
module Color = Kappa_data_structures__Color

(** @canonical Kappa_data_structures.Crc32 *)
module Crc32 = Kappa_data_structures__Crc32

(** @canonical Kappa_data_structures.DynamicArray *)
module DynamicArray = Kappa_data_structures__DynamicArray

(** @canonical Kappa_data_structures.ExceptionDefn *)
module ExceptionDefn = Kappa_data_structures__ExceptionDefn

(** @canonical Kappa_data_structures.Fifo *)
module Fifo = Kappa_data_structures__Fifo

(** @canonical Kappa_data_structures.Fractions *)
module Fractions = Kappa_data_structures__Fractions

(** @canonical Kappa_data_structures.GenArray *)
module GenArray = Kappa_data_structures__GenArray

(** @canonical Kappa_data_structures.Hashed_list *)
module Hashed_list = Kappa_data_structures__Hashed_list

(** @canonical Kappa_data_structures.Infinite_buffers *)
module Infinite_buffers = Kappa_data_structures__Infinite_buffers

(** @canonical Kappa_data_structures.IntCollection *)
module IntCollection = Kappa_data_structures__IntCollection

(** @canonical Kappa_data_structures.JsonUtil *)
module JsonUtil = Kappa_data_structures__JsonUtil

(** @canonical Kappa_data_structures.LargeArray *)
module LargeArray = Kappa_data_structures__LargeArray

(** @canonical Kappa_data_structures.List_util *)
module List_util = Kappa_data_structures__List_util

(** @canonical Kappa_data_structures.Loc *)
module Loc = Kappa_data_structures__Loc

(** @canonical Kappa_data_structures.Mods *)
module Mods = Kappa_data_structures__Mods

(** @canonical Kappa_data_structures.NamedDecls *)
module NamedDecls = Kappa_data_structures__NamedDecls

(** @canonical Kappa_data_structures.Nbr *)
module Nbr = Kappa_data_structures__Nbr

(** @canonical Kappa_data_structures.Operator *)
module Operator = Kappa_data_structures__Operator

(** @canonical Kappa_data_structures.Option_util *)
module Option_util = Kappa_data_structures__Option_util

(** @canonical Kappa_data_structures.Pp *)
module Pp = Kappa_data_structures__Pp

(** @canonical Kappa_data_structures.Pp_html *)
module Pp_html = Kappa_data_structures__Pp_html

(** @canonical Kappa_data_structures.Random_tree *)
module Random_tree = Kappa_data_structures__Random_tree

(** @canonical Kappa_data_structures.Renaming *)
module Renaming = Kappa_data_structures__Renaming

(** @canonical Kappa_data_structures.Result_util *)
module Result_util = Kappa_data_structures__Result_util

(** @canonical Kappa_data_structures.SetMap *)
module SetMap = Kappa_data_structures__SetMap

(** @canonical Kappa_data_structures.Stop *)
module Stop = Kappa_data_structures__Stop

(** @canonical Kappa_data_structures.Tools *)
module Tools = Kappa_data_structures__Tools

(** @canonical Kappa_data_structures.ValMap *)
module ValMap = Kappa_data_structures__ValMap

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/kappa-library.generic/kappa_data_structures.ml.html

Source file kappa_data_structures.ml

Source file `kappa_data_structures.ml`