tests/conformance/sec7_3/mod18.yang

module mod18 {

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

    typedef uint64 {
        type uint32;
    }
}