Module CBV_encoding.MakeSource

Parameters

module CBV : CBV_sig

Signature

Sourceval cbv : CBV.chunk t -> CBV.t t