No. You can assume all big numbers are positive
# mulByDigit 0 [1;2;3];;
- : int list = []
# bigAdd [0] [0];;
- : int list = []
# bigMul [0] [1;2;3];;
- : int list = []
# bigMul [0;0;0] [1;2;3];;
- : int list = []
Nope.
Yes.
No. You shouldn't need to.
You can use any of the Library functions that are explicitly stated at the top of the misc.ml file: List.map List.fold_left List.fold_right List.split List.combine List.length List.append List.rev