Obfuscator.ml1 2 3 4 5 6 7 8 9 10 11 12(**************************************************************************) (* *) (* SPDX-License-Identifier LGPL-2.1 *) (* Copyright (C) *) (* CEA (Commissariat à l'énergie atomique et aux énergies alternatives) *) (* *) (**************************************************************************) (** Obfuscator plug-in. *) (** No function is directly exported: they are registered via {!Dynamic.register}. *)