val to_string : ('expr -> string) -> 'expr Box.box -> string list

val pp_term : CicAst.term -> string