To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
KaSim 4.0.0
Libraries
This package provides the following libraries (via ocamlobjinfo):
KappaLib
Documentation:
Parameter
Parameter.t
carries a uniqueVariable.t
used as function parameter. It can also carry annotations about the usage of the variable.Stop
DynamicArray
LargeArray
Tools
JsonUtil
SetMap
Mods
Locality
Pp
List_util
Option_util
Renaming
Random_tree
IntCollection
ValMap
Operator
Nbr
ExceptionDefn
Progress_report
Pp_html
Resource_strings
NamedDecls
Signature
Agent
User_graph
Snapshot
Edges
Navigation
Contact_map
Pattern
Matching
Instantiation
Alg_expr
Primitives
Ast
Raw_mixture
LKappa
Model
Trace
Counters_compiler
LKappa_compiler
Snip
Kappa_printer
Data
Counter
Version
Expr_interpreter
Roots
Instances
Generic_rule_interpreter
Rule_interpreter
Replay