package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Lutin: modeling stochastic reactive systems

Install

dune-project

Dependency

md5=4d07d1263dbc90ab18cbaec55a57dcfe

sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de

Sourceval simp_exp : Exp.t -> Exp.t

Sourceval simp_num : Exp.num -> Exp.num

Sourceval simp_formula : Exp.formula -> Exp.formula