package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file Multisets.ml

1
2
3
4
5
6
7
8

(* This file is free software, part of Zipperposition. See file "license" for more details. *)

(** {1 Several Multisets} *)

module MT = Multiset.Make(Term)

module MMT = Multiset.Make(MT)