Source file util.ml

1
type 'a proxy = Proxy