module Patterns: Generic_core_patterns
val leq : 'a Ty.T.ty -> 'b Ty.T.ty -> bool
Any <= x
f (x0,..xn) <= f (y0,..yn)
iff x0 < y0 or (x0 == y0 and x1 < x2 ...)
val no_free_var : 'a Ty.T.ty -> bool
true
iff the pattern doesn't contain Any
, and thus determines a specific typeval no_free_var' : Ty.ty' -> bool
no_free_var' (E t) == no_free_var' t