summaryrefslogtreecommitdiff
path: root/contrib/subtac/subtac_coercion.mli
blob: 5678c10e697488438726f3fbe3d8163032e9e0f6 (plain)
1
2
3
4
open Term
val disc_subset : types -> (types * types) option

module Coercion : Coercion.S