Instance json_Serializer : Serializer json.t.Definition string_eqb s s' :=
    if (String.string_dec s s') then true else false.

(* Specifications: *)
Lemma string_eqb_true : forall s s', string_eqb s s' = true -> s = s'.
Lemma string_eqb_refl : forall s, string_eqb s s = true.