Module `Patterns.Compile`

val make_branches : Cduce_types.Types.t -> (node * 'a) list -> Cduce_core.Auto_pat.state * 'a Cduce_core.Auto_pat.rhs array
val make_checker : Cduce_types.Types.t -> Cduce_types.Types.t -> Cduce_core.Auto_pat.state