Up – Package index » coq-core » Library coq-core.clib » Dyn

Module `Dyn`Source

Dynamically typed values

Sourcemodule type ValueS = sig ... end

Sourcemodule type MapS = sig ... end

Sourcemodule type S = sig ... end

Sourcemodule Make () : S