package mopsa

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

Module Containers.SetExtSource

Generic functor to build a set data-type from ordered elements.

Sourceval printer_default : SetExtSig.set_printer

Print as set: lem1,...,elemn.

Sourcemodule StringSet : SetExtSig.S with type elt = string
Sourcemodule IntSet : SetExtSig.S with type elt = int
Sourcemodule Int32Set : SetExtSig.S with type elt = int32
Sourcemodule Int64Set : SetExtSig.S with type elt = int64
Sourcemodule ZSet : SetExtSig.S with type elt = Z.t

A few useful set instances.

OCaml

Innovation. Community. Security.