Module for inference of parameter and return annotations.

`val enabled : bool`
`val get_dir : unit ‑> string`
`val field_get_dir_fname : InferIR.Typ.Fieldname.t ‑> string * string`
`val field_is_marked : InferIR.Typ.Fieldname.t ‑> bool`
`val proc_get_ret_dir_fname : InferIR.Typ.Procname.t ‑> string * string`
`val proc_get_param_dir_fname : InferIR.Typ.Procname.t ‑> string * string`
`val update_count_str : InferStdlib.IStd.String.t ‑> string`
`val update_boolvec_str : InferStdlib.IStd.String.t ‑> int ‑> int ‑> bool ‑> string`
`val mark_file : (string ‑> string) ‑> string ‑> string ‑> unit`
`val mark_file_count : string ‑> string ‑> unit`
`val field_add_nullable_annotation : InferIR.Typ.Fieldname.t ‑> unit`

Mark the field

- @Nullable indirectly by writing to a global file.

`val proc_mark_return_nullable : InferIR.Typ.Procname.t ‑> unit`

Mark the return type

- @Nullable indirectly by writing to a global file.

`val proc_return_is_marked : InferIR.Typ.Procname.t ‑> bool`

Return true if the return type is marked

- @Nullable in the global file

`val proc_add_parameter_nullable : InferIR.Typ.Procname.t ‑> int ‑> int ‑> unit`

Mark the n-th parameter

- @Nullable indirectly by writing to a global file.

`val proc_parameters_marked : InferIR.Typ.Procname.t ‑> bool InferStdlib.IStd.List.t option`

Return None if the parameters are not marked, or a vector of marked parameters