I find a lot of code like this:
absvtype json_object_vtype (l:addr) = ptr vtypedef json_object (l:addr) = json_object_vtype (l) vtypedef json_object0 = [l:agez] json_object (l) vtypedef json_object1 = [l:addr | l > null] json_object (l) I have multiple questions about this: 1. What is the difference between [l:agez] and [l:addr | l > null]? 2. What do the 0 and 1 signify? 3. Is the vtypedef for json_object here required? Can't the absvtype already be used for everything? Thanks in advance. -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/ba8a0e88-56c2-4495-8108-0771c631951dn%40googlegroups.com.
