sig
module type VarUsage =
sig
val datatype : string
val param : Cil_types.varinfo -> Separation.param
val separation : unit -> Separation.clause
end
module Make : functor (V : VarUsage) (M : Sigs.Model) -> Sigs.Model
end