Int2
val partition : n:int -> k:int -> int list list
val partition_permutations : n:int -> k:int -> int list list
val pow : int -> int -> int