ProcnameDispatcher (infer.Absint.ProcnameDispatcher)

type accept_more

To be used in 'list_constraint

and end_of_list

type ('context, 'f_in, 'f_out, 'arg_payload) name_matcher

type ('f_in, 'f_out_in_out, 'list_constraint) template_arg

type ('context, 'f_in, 'f_out, 'list_constraint, 'arg_payload) templ_matcher

module type Common = sig ... end

module type NameCommon = sig ... end

module ProcName : 
  NameCommon
    with type ('context, 'f, 'arg_payload) dispatcher =
           'context ->
           IR.Procname.t ->
           'f option

module TypName : 
  NameCommon
    with type ('context, 'f, 'arg_payload) dispatcher =
           'context ->
           IR.Typ.name ->
           'f option

module Call : sig ... end