Module Summary.Status

type t

Analysis status of the procedure

val is_analyzed : t -> bool