File tree Expand file tree Collapse file tree 2 files changed +23
-0
lines changed
middle_end/flambda2/terms Expand file tree Collapse file tree 2 files changed +23
-0
lines changed Original file line number Diff line number Diff line change
1
+ (* *************************************************************************)
2
+ (* *)
3
+ (* OCaml *)
4
+ (* *)
5
+ (* Copyright 2022 Jane Street Group LLC *)
6
+ (* *)
7
+ (* All rights reserved. This file is distributed under the terms of *)
8
+ (* the GNU Lesser General Public License version 2.1, with the *)
9
+ (* special exception on linking described in the file LICENSE. *)
10
+ (* *)
11
+ (* *************************************************************************)
12
+
1
13
module Property = struct
2
14
type t = Noalloc
3
15
Original file line number Diff line number Diff line change
1
+ (* *************************************************************************)
2
+ (* *)
3
+ (* OCaml *)
4
+ (* *)
5
+ (* Copyright 2022 Jane Street Group LLC *)
6
+ (* *)
7
+ (* All rights reserved. This file is distributed under the terms of *)
8
+ (* the GNU Lesser General Public License version 2.1, with the *)
9
+ (* special exception on linking described in the file LICENSE. *)
10
+ (* *)
11
+ (* *************************************************************************)
1
12
(* * Annotations on function declaration (not call sites) *)
2
13
module Property : sig
3
14
type t = Noalloc
You can’t perform that action at this time.
0 commit comments