Split Declaration module in ligo prim + Add ppx for fold and map
type:internal
Rework the ligo primitive to separate the types in declaration.ml in different modules.
(also automate generation of fold and map for ligo primitives with ppx)
type:internal
Rework the ligo primitive to separate the types in declaration.ml in different modules.
(also automate generation of fold and map for ligo primitives with ppx)