Serlib.Ser_stateidmodule Self : SerType.SJ with type t = Stateid.tinclude module type of Selfinclude SerType.S with type t = Stateid.tval t_of_sexp : Sexplib.Sexp.t -> tval sexp_of_t : t -> Sexplib.Sexp.tval of_yojson : Yojson.Safe.t -> (t, string) Result.resultval to_yojson : t -> Yojson.Safe.t