package kappa-library
Public internals of the Kappa tool suite. Use this package to use kappa as a lib
Install
Dune Dependency
Authors
Maintainers
Sources
v4.1.3.tar.gz
md5=1c9a8a0d79f085757817f90834e166f5
sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3
doc/src/kappa-library.terms/kappa_terms.ml.html
Source file kappa_terms.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(* generated by dune *) (** @canonical Kappa_terms.Alg_expr *) module Alg_expr = Kappa_terms__Alg_expr (** @canonical Kappa_terms.Alg_expr_extra *) module Alg_expr_extra = Kappa_terms__Alg_expr_extra (** @canonical Kappa_terms.Configuration *) module Configuration = Kappa_terms__Configuration (** @canonical Kappa_terms.Contact_map *) module Contact_map = Kappa_terms__Contact_map (** @canonical Kappa_terms.Instantiation *) module Instantiation = Kappa_terms__Instantiation (** @canonical Kappa_terms.Kappa_printer *) module Kappa_printer = Kappa_terms__Kappa_printer (** @canonical Kappa_terms.LKappa *) module LKappa = Kappa_terms__LKappa (** @canonical Kappa_terms.Matching *) module Matching = Kappa_terms__Matching (** @canonical Kappa_terms.Model *) module Model = Kappa_terms__Model (** @canonical Kappa_terms.Pattern *) module Pattern = Kappa_terms__Pattern (** @canonical Kappa_terms.Pattern_compiler *) module Pattern_compiler = Kappa_terms__Pattern_compiler (** @canonical Kappa_terms.Pattern_decompiler *) module Pattern_decompiler = Kappa_terms__Pattern_decompiler (** @canonical Kappa_terms.Primitives *) module Primitives = Kappa_terms__Primitives (** @canonical Kappa_terms.Raw_mixture *) module Raw_mixture = Kappa_terms__Raw_mixture