1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
entity User = { "profile": { "personal": { "name": __cedar::String, "contacts": { "email": __cedar::String, "phone"?: __cedar::String } }, "preferences": { "theme": __cedar::String, "notifications": Set<__cedar::String> } } };