Previous
Up
Next
Module
Cil_datatype.Kinstr
module
Kinstr:
S
with type t = kinstr
Consult the
Plugin Development Guide
for additional details.