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

www-verimag.imag.fr Edit opam file Versions (4)

Authors

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

lutin.2.71.10.tgz

md5=4d07d1263dbc90ab18cbaec55a57dcfe

sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de

doc/lutin/Reactive/index.html

Module `Reactive`Source

Sourcetype prg =

| DoStep of Value.t list -> Value.t list * prg

Sourceval step : prg -> Value.t list -> Value.t list * prg

Sourcetype ctx = RdbgEvent.t

Sourcetype e = RdbgEvent.t

Sourcetype 't prg_ldbg =

| DoStep_ldbg of ctx -> 't -> Value.t list -> (ctx -> 't -> 't prg_ldbg -> Value.t list -> e) -> (ctx -> 't -> e) -> (ctx -> 't -> string -> e) -> e

Source

val step_ldbg : 
  ctx ->
  't ->
  't prg_ldbg ->
  Value.t list ->
  (ctx -> 't -> 't prg_ldbg -> Value.t list -> e) ->
  (ctx -> 't -> e) ->
  (ctx -> 't -> string -> e) ->
  e