package coq

  1. Overview
  2. Docs
type !'a gxml =
  1. | Element of string * 'a * 'a gxml list
  2. | PCData of string
type xml = (string * string) list gxml
OCaml

Innovation. Community. Security.