Definition.mli

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

INCLUDE "preamble.mli"

val definition : SF.t -> name maple -> any maple -> diffeq maple

val doc_and_def : SF.t -> string -> name maple -> any maple -> string list ->
  DynaMoW.Services.Content.sec_entities * diffeq maple

Generated by GNU Enscript 1.6.5.90.