package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a gxml =
  1. | Element of string * 'a * 'a gxml list
  2. | PCData of string
type xml = (string * string) list gxml