Backend.RegisterCheckers
type checker
val get_active_checkers : unit -> checker list
val register : checker list -> unit
val pp_checker : Stdlib.Format.formatter -> checker -> unit