fact: Definition composites : list composite_definition := (Composite _list Struct (Member_plain _head tint :: Member_plain _tail (tptr (Tstruct _list noattr)) :: nil) noattr :: nil).
imports: Coq(String List ZArith) compcert(Coqlib Integers Floats AST Ctypes Cop Clight Clightdefs)