sig type t type data val init : t val f : t -> data -> t type sexpable = t val sexp_of_t : sexpable -> Sexplib.Sexp.t val t_of_sexp : Sexplib.Sexp.t -> sexpable end