module Node_kind: sig .. end
sig
end
include Datatype.S
val get_base : t -> Cil_types.varinfo option
t -> Cil_types.varinfo option
val to_lval : t -> Cil_types.lval option
t -> Cil_types.lval option