<?xml version="1.0" encoding="utf-8"?>
<pml_schema
  xmlns="http://ufal.mff.cuni.cz/pdt/pml/schema/"
  version="1.2">
  <type name="z"><constant>z3</constant></type>
  <template name="ay">
    <type name="z"><constant>z1</constant></type>
    <type name="w">
      <structure>
	<member name="M" type="z"/>
	<member name="K" type="au"/>
      </structure>
    </type>
  </template>
  <type name="az"><constant>z2</constant></type>
  <type name="au">
    <structure>
      <member name="N" type="az"/>
    </structure>
  </type>
</pml_schema>