• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Searching...
    Or go to: Standard Library API
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • KaSim

  • Documentation
ON THIS PAGE
  • Libraries
    • KappaLib
package KaSim
  • KappaLib
    • Agent
      • SetMap
        • Map
        • Set
    • Alg_expr
    • Ast
    • Contact_map
    • Counter
      • Efficiency
    • Counters_compiler
    • Data
    • DynamicArray
      • DynArray
        • G
    • Edges
    • ExceptionDefn
    • Expr_interpreter
    • Generic_rule_interpreter
      • Make
        • Instances
    • Instances
    • Instantiation
    • IntCollection
    • JsonUtil
    • Kappa_printer
    • LKappa
    • LKappa_compiler
    • LargeArray
    • List_util
      • Infix
    • Locality
    • Matching
      • Agent
    • Model
    • Mods
      • CharSetMap
        • Map
        • Set
      • DynArray
      • Int2SetMap
        • Map
        • Set
      • IntSetMap
        • Map
        • Set
      • String2SetMap
        • Map
        • Set
      • StringSetMap
        • Map
        • Set
    • NamedDecls
    • Navigation
    • Nbr
    • Operator
      • DepSet
    • Option_util
    • Parameter
    • Pattern
      • Env
      • ObsMap
      • PreEnv
      • Set
    • Pp
    • Pp_html
    • Primitives
      • Transformation
    • Progress_report
    • Random_tree
    • Raw_mixture
    • Renaming
    • Replay
    • Resource_strings
    • Roots
    • Rule_interpreter
    • SetMap
      • Make
        • Map
        • Ord
        • Set
      • Map
      • OrderedType
      • Proj
        • A
          • Map
          • Set
        • B
          • Map
          • Set
      • Proj2
        • A
          • Map
          • Set
        • B
          • Map
          • Set
        • C
          • Map
          • Set
      • Projection
      • Projection2
      • S
        • Map
        • Set
      • Set
    • Signature
    • Snapshot
    • Snip
    • Stop
    • Tools
    • Trace
      • Simulation_info
    • User_graph
    • ValMap
    • Version
Legend:
Library
Module
Module type
Parameter
Class
Class type

KaSim 4.0.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

KappaLib

Documentation:

  • Parameter Parameter.t carries a unique Variable.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
ON THIS PAGE
  • Libraries
    • KappaLib

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Get Started
  • Language Manual
  • Standard Library API
  • Books
  • Releases

Community

  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct