fact: Definition composites : list composite_definition := (Composite _subset Struct (Member_plain _parent tint :: Member_plain _rank tuint :: nil) noattr :: Composite _edge Struct (Member_plain _weight tint :: Member_plain _src tint :: Member_plain _dst tint :: nil) noattr :: Composite _graph Struct (Member_plain _V tint :: Member_plain _E tint :: Member_plain _edge_list (tptr (Tstruct _edge noattr)) :: nil) noattr :: nil).
imports: Coq(String List ZArith) compcert(Coqlib Integers Floats AST Ctypes Cop Clight Clightdefs)