Module type Type_with_layout.Make.S

module type S = sig .. end

type t =

`\|`	`Atom of Pos.t * string * string option`
`\|`	`List of Pos.t * t_or_comment list * Pos.t`

S-expressions annotated with relative source positions and comments

type t_or_comment =

`\|`	`Sexp of t`
`\|`	`Comment of comment`

type comment =

`\|`	`Plain_comment of Pos.t * string`
`\|`	`Sexp_comment of Pos.t * comment list * t`

val sexp_of_t : t -> Type.t

val sexp_of_comment : comment -> Type.t

val sexp_of_t_or_comment : t_or_comment -> Type.t