yuanmai

type Re = 
    | Lit of char
    | Seq of Re * Re
    | Or of Re * Re
    | Star of Re

let rec match2 (re: Re) (str: char list) k =
    match re with
        | Lit(c) -> match str with                       
                        | [] -> false