functor
(Pos : sig type t val sexp_of_t : Type_with_layout.Make.t -> Type.t end) ->
sig
module type S =
sig
type t =
Atom of Pos.t * string * string option
| List of Pos.t * Type_with_layout.Make.S.t_or_comment list * Pos.t
and t_or_comment =
Sexp of Type_with_layout.Make.S.t
| Comment of Type_with_layout.Make.S.comment
and comment =
Plain_comment of Pos.t * string
| Sexp_comment of Pos.t * Type_with_layout.Make.S.comment list *
Type_with_layout.Make.S.t
val sexp_of_t : Type_with_layout.Make.S.t -> Type.t
val sexp_of_comment : Type_with_layout.Make.S.comment -> Type.t
val sexp_of_t_or_comment :
Type_with_layout.Make.S.t_or_comment -> Type.t
end
end