Function decompile_quotient

crates/compile/src/decompile.rs:1647–1656

Decompile a Quotient.

(
  quot: &Quotient,
  meta: &ConstantMeta,
  cache: &mut BlockCache,
  stt: &CompileState,
  dstt: &DecompileState,
)

  }
}

/// Extract arena and type_root from ConstantMeta.
fn get_arena_and_type_root(meta: &ConstantMeta) -> (&ExprMeta, u64) {
  static EMPTY_ARENA: ExprMeta = ExprMeta { nodes: Vec::new() };
  match &meta.info {
    ConstantMetaInfo::Def { arena, type_root, .. } => (arena, *type_root),
    ConstantMetaInfo::Axio { arena, type_root, .. } => (arena, *type_root),
    ConstantMetaInfo::Quot { arena, type_root, .. } => (arena, *type_root),
    ConstantMetaInfo::Indc { arena, type_root, .. } => (arena, *type_root),
    ConstantMetaInfo::Ctor { arena, type_root, .. } => (arena, *type_root),
    ConstantMetaInfo::Rec { arena, type_root, .. } => (arena, *type_root),
    ConstantMetaInfo::Empty => (&EMPTY_ARENA, 0),
    ConstantMetaInfo::Muts { .. } => (&EMPTY_ARENA, 0),