Module PulseModelsErlang.Custom

type erlang_value = known_erlang_value option
and known_erlang_value =
  1. | Atom of string option
  2. | IntLit of string option
  3. | List of erlang_value list
  4. | Tuple of erlang_value list
  5. | GenServer of {
    1. module_name : string option;
    }
val exists_db_model : IR.Procname.t -> bool