package erm_xml
-
erm_xml
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type t = {
mutable tmp_prefix : int;
default_nss : namespace list;
bindings : (string, string) Hashtbl.t;
}