Checkers.LineageShapemodule FieldLabel : sig ... endmodule FieldPath : sig ... endmodule Cell : sig ... endCells correspond to variable fields for which no subfield will be considered by the analysis, either because they semantically have none, or because the abstract domain decides that considering them would lead to too deep or too wide field structures.
module Summary : sig ... endval checker : Summary.t Absint.InterproceduralAnalysis.t -> Summary.t option