preamble.mli

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

type any = PreambleTypes.any
type diffeq = PreambleTypes.diffeq
type fcall = PreambleTypes.fcall
type name = PreambleTypes.name
type 'a maple = 'a Maple.t DynaMoW.symb

Generated by GNU Enscript 1.6.5.90.