package rfsm

  1. Overview
  2. Docs
On This Page
  1. Error handling
A toolset for describing and simulating StateChart-like state diagrams

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (8)

Authors

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Maintainers

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Sources

2.2.tar.gz
md5=ea1b496f0aa758933ae23921ee55a531
sha512=4fa72747bb2e32f91d64e4b8c24f60d6f0bdad297cc40f36d5c687ed1de900ab8441fa8a12aecf2523928833cddd5391fa87c11a1af2162ac8001467e8f485a5

doc/rfsm/Rfsm/Error/index.html

Module Rfsm.ErrorSource

Error handling

Sourceval pp_loc : Format.formatter -> Location.t -> unit
Sourcemodule type T = sig ... end

Output signature of the functor Error.Make

Sourcemodule type PARSER = sig ... end
Sourcemodule type LEXER = sig ... end
Sourcemodule Make (L : Host.T) (Lexer : LEXER) (Parser : PARSER) : T

Building functor