ClosedForm.mli

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

INCLUDE "preamble.mli"

val call_generalTerms :
  any maple -> any maple -> name maple -> name maple -> any maple ->
  any maple -> any maple

val obj :
  (any maple * string) * unit -> any maple * any maple

val descr :
  any maple * string -> unit option ->
  DynaMoW.Services.Content.content_service

Generated by GNU Enscript 1.6.5.90.