Table cil_interface

predicate cil_interface(@cil_type id)