didString: RefinementCodec<TrivialCodec<string>, string & WithOpaque<"DIDString">> = ...

codeco codec for a vanilla DID string, i.e. did:method:id.