Seq.mli

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

INCLUDE "preamble.mli"

type initial_condition = int * any maple

type t = {
    (* Maple object like n! or Fib(n). *)
    rep : any maple ;
    (* Like "factorial number" or "Fibonacci". *)
    full_name : string ;
    (* Association list, mapping ints to Maple objects. *)
    ics : initial_condition list ;
    (* Identifier of a recurrence in the DB. *)
    rec_id : string ;
  }

Generated by GNU Enscript 1.6.5.90.