module Text : sig ... endtype ('M, 'T) child = 'M * ('M, 'T) child'and ('M, 'T) element = {opening_element : ('M, 'T) Opening.t;closing_element : ('M, 'T) Closing.t option;children : 'M * ('M, 'T) child list;
}and ('M, 'T) fragment = {frag_opening_element : 'M;frag_closing_element : 'M;frag_children : 'M * ('M, 'T) child list;
}