Module `Regalloc_validate`

module Description : sig ... end

module Error : sig ... end

val test : 
  Description.t ->
  Cfg_with_layout.t ->
  (Cfg_with_layout.t, Error.t) Result.t

val run : Description.t option -> Cfg_with_infos.t -> Cfg_with_infos.t

Module Regalloc_validate