Module Pulselib.PulseCurrentProcedure

val proc_desc : unit -> IR.Procdesc.t option