Function inline_like_flat_block

crates/kernel/src/inductive.rs:6180–6199

()

        ),
      ),
    );
    env.insert(
      mk_id("List.cons"),
      KConst::Ctor {
        name: (),
        level_params: (),
        is_unsafe: false,
        lvls: 1,
        induct: mk_id("List"),
        cidx: 1,
        params: 1,
        fields: 2,
        ty: cons_ty,
      },
    );

    env.blocks.insert(
      tree_block,
      vec![mk_id("Tree"), mk_id("Tree.leaf"), mk_id("Tree.node")],
    );
    env.blocks.insert(
      mk_id("List"),
      vec![mk_id("List"), mk_id("List.nil"), mk_id("List.cons")],