Module Digital_components.Data

module type S = sig ... end
type 'd t = (module S with type t = 'd)
module Bool : S with type t = Digital_components__Import.Bool.t
module Int : S with type t = Digital_components__Import.Int.t
module String : S with type t = Digital_components__Import.String.t
module Unit : S with type t = Digital_components__Import.Unit.t
module Pair (D1 : S) (D2 : S) : S with type t = D1.t * D2.t