Module Cephalopod_models.App_Bsky_Embed_RecordWithMedia

lexicon "app.bsky.embed.recordWithMedia" A representation of a record embedded in a Bluesky record (eg, a post), alongside other compatible embeds. For example, a quote post and image, or a quote post and external URL card.

def main

type nonrec main = Types.app_bsky_embed_recordwithmedia_main = {
  1. record : Types.app_bsky_embed_record_main;
  2. media : [ `App_bsky_embed_images_main of Types.app_bsky_embed_images_main | `App_bsky_embed_video_main of Types.app_bsky_embed_video_main | `App_bsky_embed_external_main of Types.app_bsky_embed_external_main | `Other of Cephalopod_dasl.Value.t ];
}

def view

type nonrec view = Types.app_bsky_embed_recordwithmedia_view = {
  1. record : Types.app_bsky_embed_record_view;
  2. media : [ `App_bsky_embed_images_view of Types.app_bsky_embed_images_view | `App_bsky_embed_video_view of Types.app_bsky_embed_video_view | `App_bsky_embed_external_view of Types.app_bsky_embed_external_view | `Other of Cephalopod_dasl.Value.t ];
}