(** * Properties of operations over types *)

Remark transl_params_types:
  forall params,
  map typ_of_type (map snd params) = typlist_of_typelist (type_of_params params).

Lemma transl_alignof: forall (cunit prog: Clight.program) t al, linkorder cunit prog -> alignof cunit.(prog_comp_env) t = OK al -> al = Ctypes.alignof prog.(prog_comp_env) t.