Google

Edit File: spacetime_profiling.mli

(**************************************************************************) (* *) (* OCaml *) (* *) (* Mark Shinwell and Leo White, Jane Street Europe *) (* *) (* Copyright 2015--2016 Jane Street Group LLC *) (* *) (* All rights reserved. This file is distributed under the terms of *) (* the GNU Lesser General Public License version 2.1, with the *) (* special exception on linking described in the file LICENSE. *) (* *) (**************************************************************************) (** Insertion of instrumentation code for Spacetime profiling. *) class virtual instruction_selection : Selectgen.selector_generic