https://github.com/charguer/ocaml
Tip revision: 4b60bc2b59342abdd17f1167b174d69d90d22f26 authored by charguer on 01 October 2015, 08:11:56 UTC
fixtest
fixtest
Tip revision: 4b60bc2
printclambda.mli
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
open Clambda
open Format
val clambda: formatter -> ulambda -> unit
val approx: formatter -> value_approximation -> unit
val structured_constant: formatter -> ustructured_constant -> unit