blob: 63754b1e2ea88d7f407f6050fc415b873f8f2fb6 [file] [log] [blame]
Radek Krejcied5acc52019-04-25 15:57:04 +02001module module3 {
2 namespace "urn:yanglint:module";
3 prefix m;
4 leaf m { type string; must "../c/a"; }
5 container c {
6 leaf b { type string; }
7 }
8}