1
2
3
4
5
6

#User: {
	name:     string
	greeting: string
	age:      int & >=0
}
[...#User]