summaryrefslogtreecommitdiff
path: root/libs/util.ml
blob: 68332b68d439338928e88d5755ff7145a225f27a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
exception TypeError

module VarMap = Mapext.Make(String)

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

let (@@) f x = f x