<?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>