PulseModelsJava (infer.Pulselib.PulseModelsJava)

val load_field : 
  Pulselib.PulseDomainInterface.PathContext.t ->
  IR.Fieldname.t ->
  IBase.Location.t ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t ->
  (Pulselib.PulseDomainInterface.AbductiveDomain.t
   * (Pulselib.PulseBasicInterface.AbstractValue.t
      * Pulselib.PulseBasicInterface.ValueHistory.t)
   * (Pulselib.PulseBasicInterface.AbstractValue.t
      * Pulselib.PulseBasicInterface.ValueHistory.t))
    Pulselib.PulseDomainInterface.AccessResult.t

val matchers : PulseModelsImport.matcher list