th-context

Use these functions to decide an a not-quite naive fashion whether an instance already exists that satisfies a given context. This can be used to decide whether an instance needs to be generated, as in th-reify-many.