Module Generic_core.Patterns

module Patterns: Generic_core_patterns
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