Module Node_kind

module Node_kind: sig .. end

include Datatype.S
val get_base : t -> Cil_types.varinfo option
val to_lval : t -> Cil_types.lval option