package lascar

  1. Overview
  2. Docs
package lascar
Legend:
Library
Module
Module type
Parameter
Class
Class type
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