Expand description
A utility module to inspect currently ambiguous obligations in the current context.
Structsยง
Enumsยง
- UseSubtyping ๐
- Whatever to use subtyping or not when inspecting obligations
A utility module to inspect currently ambiguous obligations in the current context.