module type VarUsage = sig .. end
sig
end
val datatype : string
string
val param : Cil_types.varinfo -> Separation.param
Cil_types.varinfo -> Separation.param
val separation : unit -> Separation.clause
unit -> Separation.clause