package lascar

  1. Overview
  2. Docs
A library for manipulating Labeled Transition Systems in OCaml

Install 

dune-project
 Dependency

localhost Readme Changelog Edit opam file Versions (4)

Authors

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

Maintainers

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

Sources

lascar-0.6-alpha.tbz
sha256=e33fd94f167bd7bc69f30d7a550226126692a00dac9b29c28ff0ff0aca7d7a21
sha512=98fe84ea351a288d371490f002c52c2e3637841f7fafadb1c3a1acb82befc436bbc6321b1c37fb1e2121b595e7fcb33da45510f3b623006a1d1b56d905313058

doc/lascar.utils/Utils/Tree/module-type-Arg/index.html

Module type Tree.ArgSource

Input signature of the functor Tree.Make.

type node

The type of information attached to the nodes of the tree

type edge

The type of information attached to the nodes of the tree

The type of information attached to the edges of the tree

val string_of_node : node -> string

The type of information attached to the edges of the tree

val string_of_edge : edge -> string