module modmust {
  namespace "urn:yanglint:modmust";
  prefix m;

  import modleaf {
    prefix ml;
  }

  leaf lfm {
    type string;
    must "/ml:lfl > 0";
  }
}