+/* This C file is generated by NIT to compile module parser_nodes. */
#include "parser_nodes._sep.h"
val_t parser_nodes___PPropdef___n_doc(val_t self) {
struct trace_t trace = {NULL, "parser_nodes::PPropdef::n_doc (src/parser//parser_nodes.nit:280,5--39)"};