sig
  val algebraic : float
  val differential : float
  type t = Algebraic | Differential
  val to_float : Ida.VarId.t -> float
  val of_float : float -> Ida.VarId.t
end