PreambleTypes.ml

(* Copyright INRIA and Microsoft Corporation, 2008-2013. *)
(* DDMF is distributed under CeCILL-B license. *)

type any = Any
type diffeq = DiffEq
type fcall = FCall
type name = Name

Generated by GNU Enscript 1.6.5.90.