package TCSLib

You can search for identifiers within the package.

in-package search v0.2.0

A multi-purpose library for OCaml.

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

Maintainers

O

opam-devel@lists.ocaml.org

Sources

v0.2.tar.gz

sha256=85ce1d51e3520a588eb71abe65521d2420f00a3456c3fa4f2e8f8be5a2d0e395

md5=71333662af6be2559532729ed7a88864

doc/TCSLib/Tcstransitionsysparser/index.html

Module `Tcstransitionsysparser`

exception TransitionSysParserException of string * int * int

exception TransitionSysParserCustomException of string

val parse_lts : 
  (int -> unit) ->
  (int -> unit) ->
  (int -> (string * int) list -> string list -> string option -> unit) ->
  (unit -> 'a) ->
  in_channel ->
  'a

val parse_explicit_lts : in_channel -> Tcstransitionsys.explicit_lts

val parse_explicit_initlts : in_channel -> Tcstransitionsys.explicit_initlts

val parse_ts : 
  (int -> unit) ->
  (int -> unit) ->
  (int -> int list -> string list -> string option -> unit) ->
  (unit -> 'a) ->
  in_channel ->
  'a

val parse_explicit_ts : in_channel -> Tcstransitionsys.explicit_ts

val parse_explicit_initts : in_channel -> Tcstransitionsys.explicit_initts