fact: Definition composites : list composite_definition := (Composite _Node Struct (Member_plain _m (talignas 4%N tint) :: Member_plain _l (talignas 3%N (tptr (Tstruct _Node noattr))) :: Member_plain _r (tptr (Tstruct _Node noattr)) :: nil) noattr :: nil).
imports: Coq(String List ZArith) compcert(Coqlib Integers Floats AST Ctypes Cop Clight Clightdefs)