Class type Pxp_yacc.index

class type [< clone : 'a; node : 'a Pxp_document.node;
       set_node : 'a Pxp_document.node -> unit; .. >
     as 'a] index = ['a] Pxp_tree_parser.index

Same as Pxp_tree_parser.index

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge