sig
val
epsilon : float
end