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