sig
  val constant_folding :
    ('a * string Calc.t list) Lilis.lsystem ->
    ('a * string Calc.t list) Lilis.lsystem
  val compress_calcs :
    ?env:Calc.Env.t ->
    ('a * string Calc.t list) Lilis.lsystem ->
    ('a * string Calc.t list) Lilis.lsystem
end