MemoryLayout api

[John Rose]

On Jan 21, 2020, at 8:13 AM, forax at univ-mlv.fr wrote:
> 
>> 
>> Yes - I agree - the story is not fully baked here. What I'd like to do is,
>> eventually, to provide "partially" instantiated var handles, where all sizes
>> left unspecified in the layout must be provided as an extra acquired dimension.
> 
>> I think this will bring back things to static-ness - what do you think?
> yes, 
> good idea ! 

Piling on here:  The extra “length” argument could be
bound to a constant (cf. `MHs.insertArguments`) or
else folded from a call to an auxiliary VH that computes
the bound (cf. `MHs.foldArguments`, but for an argument
that isn’t the initial one).