package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Qed.Collection`Source

Merging Maps and Sets

Sourcemodule type T = sig ... end

Sourcemodule type Map = sig ... end

Sourcemodule type Set = sig ... end

Sourcemodule type S = sig ... end

Sourcemodule Make (A : T) : S with type t = A.t