fact: Definition composites : list composite_definition := (Composite _structItem Struct (Member_plain _priority tint :: Member_plain _data (tptr tvoid) :: nil) noattr :: Composite _structPQ Struct (Member_plain _capacity tuint :: Member_plain _first_available tuint :: Member_plain _heap_cells (tptr (Tstruct _structItem noattr)) :: nil) noattr :: nil).
imports: Coq(String List ZArith) compcert(Coqlib Integers Floats AST Ctypes Cop Clight Clightdefs)