tests/conformance/sec7_3/mod12.yang

module mod12 {

    prefix abc;
    namespace "urn:cesnet:mod12";

    typedef int64 {
        type uint32;
    }
}