diff options
Diffstat (limited to 'contrib/subtac/subtac_coercion.mli')
| -rw-r--r-- | contrib/subtac/subtac_coercion.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/subtac/subtac_coercion.mli b/contrib/subtac/subtac_coercion.mli index 53a8d213..5678c10e 100644 --- a/contrib/subtac/subtac_coercion.mli +++ b/contrib/subtac/subtac_coercion.mli @@ -1 +1,4 @@ +open Term +val disc_subset : types -> (types * types) option + module Coercion : Coercion.S |