Up – Package index » doc » Library alt-ergo-lib » AltErgoLib » Matching

Module `AltErgoLib.Matching`Source

Sourcemodule type S = sig ... end

Sourcemodule type Arg = sig ... end

Sourcemodule Make (X : Arg) : S with type theory = X.t