PulseModelsErlang (infer.Pulselib.PulseModelsErlang)

val matchers : PulseModelsImport.matcher list

val get_model_from_db : 
  IR.Procname.t ->
  PulseValueOrigin.t Absint.ProcnameDispatcher.Call.FuncArg.t list ->
  PulseModelsImport.model_no_non_disj option

val get_module_attribute : IR.Tenv.t -> tag:string -> string option

val get_erlang_type_or_any : 
  Pulselib.PulseBasicInterface.AbstractValue.t ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t ->
  IR.ErlangTypeName.t

include sig ... end

module Custom : sig ... end