The Smallfoot Intermediate Language: Call Flags

`module F = Format`
`type t````=` `{`

`cf_virtual : bool;`
`cf_interface : bool;`
`cf_noreturn : bool;`
`cf_is_objc_block : bool;`
`cf_targets : InferIR.Typ.Procname.t list;`
`cf_with_block_parameters : bool;`

`}```

Flags for a procedure call

`include sig ... end`
`val compare : t ‑> t ‑> int`
`val pp : F.formatter ‑> t ‑> unit`
`val default : t`

Default value where all fields are set to false