summaryrefslogtreecommitdiff
path: root/libs/util.ml
blob: b2838b6077d2ca183b5e244e95ac75da26533684 (plain) (blame)
1
2
3
4
5
6
7
8
module VarMap = Mapext.Make(String)

let rec fix f s =
  let fs = f s in
  if fs = s
    then fs
    else fix f fs