Struct RecordedRoot¶
Defined in File schedule_pin.hpp
Struct Documentation¶
-
struct RecordedRoot¶
a recorded root: its record and the optimized expression it was taken from
Back to top