Function sort0

crates/kernel/src/whnf.rs:3088–3090

()

      if args.len() < 6 {
        return Ok(None);
      }
      (3usize, 5usize)
    } else if addr == self.prims.quot_ind.addr {
      if args.len() < 5 {
        return Ok(None);
      }