CommonTools.mli

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

INCLUDE "preamble.mli"

val interval : int -> int -> int list
val range : int -> int list
val symb_of_symb_list : any maple list -> any maple
val symb_of_name_list : name maple list -> any maple
val symb_list_of_symb : any maple -> any maple list
val prefix_of_list : int -> 'a list -> 'a list
val parse_string_list : string list -> 'a maple
val eval_expr : 'a maple -> name maple list -> string list -> 'a maple
val subs_expr : 'a maple -> name maple list -> string list -> string
val unused_names_for_sequence : 'a maple -> name maple * name maple

Generated by GNU Enscript 1.6.5.90.