DiffeqToRecurrence.mli

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

INCLUDE "preamble.mli"

val descr :
  diffeq maple * fcall maple * fcall maple * bool * string ->
  unit option -> DynaMoW.Services.Content.content_service

Generated by GNU Enscript 1.6.5.90.