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