module Mvbdu_wrapper: sig .. end
* mvbdu_wrapper.mli
* openkappa
* Jérôme Feret, projet Abstraction, INRIA Paris-Rocquencourt
*
* Creation: 08/03/2010
* Last modification: Time-stamp: <Jul 11 2017>
* *
* This library provides test benchmarks for the library of sets of finite maps from integers to integers
*
* Copyright 2010 Institut National de Recherche en Informatique et
* en Automatique. All rights reserved. This file is distributed
* under the terms of the GNU Library General Public License
API of the multi-valued binary decision diagrams library
module type Mvbdu = sig .. end
module type Internalized_mvbdu = sig .. end
module type Nul = sig .. end
module Internalize: functor (M : Mvbdu with type key = int and type value = int) -> Internalized_mvbdu
with type mvbdu = M.mvbdu and type key = int and type value = int
module Make: functor (M : Nul) -> Mvbdu with type key = int and type value = int
module Mvbdu: Mvbdu with type key = int and type value = int
module IntMvbdu: Internalized_mvbdu with type key = int and type value = int and type mvbdu= Mvbdu.mvbdu
module Optimized_Mvbdu: Mvbdu with type key = int and type value = int
module Optimized_IntMvbdu: Internalized_mvbdu with type key = int and type value = int