]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_generator/cGSearchPattern.ml
Cic.Prop -> T.Prop
| Cic.Set -> T.Set
| Cic.Type -> T.Type
Cic.Prop -> T.Prop
| Cic.Set -> T.Set
| Cic.Type -> T.Type
in
[],[],[!!kind,s']
| _ -> [],[],[])
in
[],[],[!!kind,s']
| _ -> [],[],[])