module Test {
    yang-version 1;
    namespace http://huawei.com;
    prefix Ant;
    leaf ifType {
        type enumeration {
            enum ethernet;
            enum atm;
        }
        must "ifType != ethernet" {
            description "ifType is not ethernet";
        }
    }
}