package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type cograph = int CoGraph.Explicit.Type.t
type cometric = unit CoGraph.Implicit.Type.t
type vtag = {
  1. vtag_module : cograph;
  2. vtag_metric : cometric;
  3. vtag_fixed : bool;
  4. vtag_useful : bool;
}
type etag = unit
type hv = (vtag, unit) GGLA.Type.vertex
type hg = (vtag, unit) GGLA.Type.graph
type hgl = (vtag list, etag list) GGLA.Type.graph