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