Module Generic_fun.Deepfix

module Deepfix: Generic_fun_deepfix


Generic_fun_deepfix.deepfix recursively fixes the identifier of the constructors of extensible variant types in a value. Values of other types are left unchanged (and shared).
val deepfix : 'a. 'a Ty.T.ty -> 'a -> 'a