|
# This device converts from TypeC to either TypeL or TypeA
mcdp {
provides out [`AC_power]
requires in [`AC_power]
requires budget [USD]
required budget >= 7.31 USD
(required in).socket >= `socket_type : TypeL
(required in).voltage >= (provided out).voltage
(required in).frequency >= (provided out).frequency
(required in).watts >= (provided out).watts
(provided out).socket <= any-of({`socket_type : TypeA, `socket_type : TypeC})
}
|
|
|
|
|
