+val eval_from_stream:
+ MatitaTypes.status ref -> char Stream.t ->
+ (MatitaTypes.status ->
+ (CicAst.term,TacticAst.obj,string) TacticAst.statement -> unit) ->
+ unit
+
+val eval_from_stream_greedy:
+ MatitaTypes.status ref-> char Stream.t ->
+ (MatitaTypes.status ->
+ (CicAst.term,TacticAst.obj,string) TacticAst.statement -> unit) ->
+ unit