DB.mli

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

INCLUDE "preamble.mli"

(* Database of special functions. *)

val marshal_sf : SF.t -> string
val unmarshal_sf : string -> SF.t

val new_sf : string -> SF.t -> unit

exception SFDatabaseCorrupted
exception UndefinedSF of string

val empty_sf_db : unit -> unit
val sf_list : unit -> string list
val sf_of_id : string -> SF.t


(* Database of functional equations. *)

val new_eqn : string -> FEqn.t -> unit

exception DatabaseCorrupted
exception UndefinedFEqn of string

val empty_eqn_db : unit -> unit
val eqn_list : FEqn.eqn_type_filter -> string list
val eqn_of_id : string -> FEqn.t


(* Database of sequences. *)

val new_seq : string -> Seq.t -> unit

exception UndefinedSeq of string

val empty_seq_db : unit -> unit
val seq_list : unit -> string list
val seq_of_id : string -> Seq.t

Generated by GNU Enscript 1.6.5.90.