Cmt2annotval gen_annot :
string option ->
sourcefile:string option ->
use_summaries:bool ->
Cmt_format.binary_annots ->
unitval iterator : scope:Location.t -> bool -> Tast_iterator.iteratorval binary_part : Tast_iterator.iterator -> Cmt_format.binary_part -> unit