Module Generic_core_patterns

module Generic_core_patterns: sig .. end

Functions on type patterns.

val leq : 'a Ty.T.ty -> 'b Ty.T.ty -> bool

Partial lexical order on type patterns used to implement extensible functions allowing nested patterns of any depths.

val no_free_var : 'a Ty.T.ty -> bool

true iff the pattern doesn't contain Any, and thus determines a specific type

val no_free_var' : Ty.ty' -> bool

no_free_var' (E t) == no_free_var' t