Box.indent(ast2astBox term)])
| Constructor (_,n) -> Box.Text ([],"constructor " ^ string_of_int n)
| Contradiction _ -> Box.Text([],"contradiction")
Box.indent(ast2astBox term)])
| Constructor (_,n) -> Box.Text ([],"constructor " ^ string_of_int n)
| Contradiction _ -> Box.Text([],"contradiction")