sig
  val datatype : string
  val param : Cil_types.varinfo -> Wp.MemoryContext.param
  val hypotheses : unit -> Wp.MemoryContext.clause list
end