Module Type_with_layout.Make

Parameters

module Pos : sig ... end

Signature

module type S = sig ... end