Functor Type_with_layout.Make

module Make: functor (Pos : sig
type t 


val sexp_of_t : t -> Type.t
end) -> sig .. end

Parameters:

Pos : sig type t val sexp_of_t : t -> Type.t end

module type S = sig .. end