functor (Raw : Raw) ->
  sig
    type t
    val create : Raw.t -> t Or_error.t
    val create_exn : Raw.t -> t
    val raw : t -> Raw.t
    val t_of_sexp : Sexplib.Sexp.t -> t
    val sexp_of_t : t -> Sexplib.Sexp.t
  end