sig
  type key1 = Dashtbl.Default_key_marshaler(Kernel_function).t
  type key2 = Dashtbl.Default_key_marshaler(Datatype.String).t
  val state : key1 -> key2 -> State.t
  val property : key1 -> key2 -> Property.t
end