Function llhd::const_time

pub fn const_time(time: BigRational, delta: BigInt, epsilon: BigInt) -> Const

Create a new time constant.