Regalloc_validate.Description
type t
val create : Cfg_with_layout.t -> Regalloc_validate.Description.t option