preamble.ml

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

use_cas Maple
include PreambleTypes
type_symb 'a maple = 'a Maple.t DynaMoW.symb
(* type_symb any maple = any maple *)
module DC = DynaMoW.Services.Content
let ( @@@ ) = DC.(@@@)
let ( @:@ ) = DC.(@:@)

Generated by GNU Enscript 1.6.5.90.