let is_big_general countterm p =
- let maxsize = Cexpr2pres.maxsize in
+ let maxsize = Ast2pres.maxsize in
let module Con = Content in
let rec countp current_size p =
if current_size > maxsize then current_size
(size > maxsize)
;;
-let is_big = is_big_general (Cexpr2pres.countterm)
+let is_big = is_big_general (Ast2pres.countterm)
;;
let get_xref =
| _ -> raise ToDo
;;
+(*
let content2pres ~ids_to_inner_sorts =
content2pres
(function p ->
(Cexpr2pres.cexpr2pres_charcount
(Content_expressions.acic2cexpr ids_to_inner_sorts p)))
;;
+*)
+
+let content2pres ~ids_to_inner_sorts =
+ content2pres
+ (fun annterm ->
+ let (ast, ids_to_uris) as arg =
+ Acic2Ast.ast_of_acic ids_to_inner_sorts annterm
+ in
+ let astBox = Ast2pres.ast2astBox arg in
+ Box.map (fun ast -> Ast2pres.ast2mpres (ast, ids_to_uris)) astBox)