let sigma op l =
  match op, l with
    | Unsigned, [x] -> mk_unsigned x
    | _ -> assert false