Module Composition_types.Digest

module Limbs = Pickles_types.Nat.N4
type nat4 := Limbs.n
type 'a v := ( 'a, nat4 ) Pickles_types.Vector.vec
type vector := int64 v
module Constant : sig ... end