Up
–
infer
»
Pulselib
» PulseCurrentProcedure
Module
Pulselib.PulseCurrentProcedure
val
proc_desc :
unit
->
IR.Procdesc.t
option