Pulselib.PulseLoadInstrModels
type model_data = {
path : Pulselib.PulseDomainInterface.PathContext.t;
location : IBase.Location.t;
}
type model = model_data -> Pulselib.PulseDomainInterface.AbductiveDomain.t -> (Pulselib.PulseDomainInterface.AbductiveDomain.t * (Pulselib.PulseBasicInterface.AbstractValue.t * Pulselib.PulseBasicInterface.ValueHistory.t)) PulseOperationResult.t
val dispatch : load:IR.Exp.t -> model option