fact: Definition composites : list composite_definition := (Composite _tree Struct (Member_plain _n tuint :: Member_plain _left (tptr (Tstruct _tree noattr)) :: Member_plain _right (tptr (Tstruct _tree noattr)) :: nil) noattr :: nil).
imports: Coq(String List ZArith) compcert(Coqlib Integers Floats AST Ctypes Cop Clight Clightdefs)