Module Patterns.Compile
val make_branches : Cduce_types.Types.t -> (node * 'a) list -> Auto_pat.state * 'a Auto_pat.rhs arrayval make_checker : Cduce_types.Types.t -> Cduce_types.Types.t -> Auto_pat.state
Patterns.Compileval make_branches : Cduce_types.Types.t -> (node * 'a) list -> Auto_pat.state * 'a Auto_pat.rhs arrayval make_checker : Cduce_types.Types.t -> Cduce_types.Types.t -> Auto_pat.state