module extensions {
    yang-version 1;
    namespace "urn:test:bug1412:ext:definitions";
    prefix "ext";

    revision "2014-07-25" {
    }

    extension arg-type {

    }
}