]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_transformations/cicAstPp.ml
let pp_binder = function
| `Lambda -> "lambda"
let pp_binder = function
| `Lambda -> "lambda"
| `Exists -> "exists"
| `Forall -> "forall"
| `Exists -> "exists"
| `Forall -> "forall"