`type model_table_t``= (string, bool * bool list) InferStdlib.IStd.Caml.Hashtbl.t```
`val this_file : string`

Name of this file.

`val annotated_table_nullable : model_table_t`
`val annotated_table_present : model_table_t`
`val check_not_null_table : model_table_t`
`val check_not_null_parameter_table : (string, int) InferStdlib.IStd.Caml.Hashtbl.t`
`val check_state_table : model_table_t`
`val check_argument_table : model_table_t`
`val containsKey_table : model_table_t`
`val mapPut_table : model_table_t`
`val optional_get_table : model_table_t`
`val optional_isPresent_table : model_table_t`
`val noreturn_table : model_table_t`
`val true_on_null_table : model_table_t`