sig
val
k : int
val
epsilon : float
end