Module Cilutil.StmtComparable


module StmtComparable: Graph.Sig.COMPARABLE  with type t = Cil_types.stmt