☰
jon.recoil.org
blog
notebooks
projects
reference
Module
Cfg_reducibility
val
is_cfg_with_infos_reducible :
Cfg_with_infos.t
->
bool