blob: dd27875e88ffbd2833658785f3b02b9c444108a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(***********************************************************************)
(* *)
(* Compcert Extensions *)
(* *)
(* Jean-Baptiste Tristan *)
(* *)
(* All rights reserved. This file is distributed under the terms *)
(* described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
(*val type_function : RTL.coq_function -> unit*)
|