Function sort1

crates/kernel/src/whnf.rs:3091–3093

()

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