Module Albalib.Gamma_algoSource

Sourcemodule type GAMMA = sig ... end
Sourcemodule Make (Gamma : GAMMA) : sig ... end