package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type vtag = {
  1. useful : bool;
  2. fixed : bool;
}
type etag = unit
type hgl = (vtag list, etag list) GGLA.Type.graph