package lascar

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

Install 

dune-project
 Dependency

github.com 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.0.tbz
sha256=343190b9c765655e787758db86a82818404dda18b4d2806283b4bde3ced91d26
sha512=2b6534ac438d574228d127b3b4e2cfec17b8b95e95124297c8da351caf34de2bb4ec8a31028a1470ba7f42aa932257293d021140a5a1c2642d1a60a8123d00a0

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