Dynamic_entrypoints

let storage: <p, s, s2>(_: module_contract<p, s>, s: s2) => { dynamic_entrypoints: dynamic_entrypoints; storage: s2 }