Module Cil_datatype.Kinstr


module Kinstr: S  with type t = kinstr
Consult the Plugin Development Guide for additional details.