Module `Cduce_types__Types.Xml`

Access the XML component of a type. Note that Xml.any is different from the AnyXml type of ℂDuce, which is a recursive type X where X = <_ ..>[(X|Char)*]

module Dnf : Cduce_types__.Bdd.S with type atom = Node.t * Node.t and type t = Times.Dnf.t and type line = Times.Dnf.line and type dnf = Times.Dnf.dnf: A representation of the disjunctive normal form (DNF) and related operations for this component.

val any : t: The top type of this component.

val get : t -> Dnf.mono: get t extracts the monomorphic part of this component.

val get_vars : t -> Dnf.t: get t extracts the DNF of this component.

val mk : Dnf.t -> t: mk d creates a type from a DNF of this kind.

val update : t -> Dnf.t -> t: update t d replaces the component in t with d. Equivalent (but slightly more efficient than) cup (diff t K.any) (K.mk d).