let cargs,recursive_args = List.split cargs_and_recursive_args in
let recursive_args = HExtlib.filter_map (fun x -> x) recursive_args in
CicNotationPt.Pattern (name,None,List.map (fun x -> x,None) cargs),
let cargs,recursive_args = List.split cargs_and_recursive_args in
let recursive_args = HExtlib.filter_map (fun x -> x) recursive_args in
CicNotationPt.Pattern (name,None,List.map (fun x -> x,None) cargs),