sig
  type key
  type data
  val name : string
  val compile : Wp.WpContext.Data.key -> Wp.WpContext.Data.data
end