Module Jkind.DescSource
The description of a jkind, used as a return type from get. This description has no sort variables, but it might have with-types and thus needs the allowance machinery.
Jkind.DescSourceThe description of a jkind, used as a return type from get. This description has no sort variables, but it might have with-types and thus needs the allowance machinery.