Up – Package index » coq-serapi » Library coq-serapi.serlib » Serlib » Ser_genarg » GS0

Module `Ser_genarg.GS0`Source

Parameters

module M : GenSer0

Sourceval genser : (M.t, M.t, M.t) gen_ser