Skip to content

Split Declaration module in ligo prim + Add ppx for fold and map

Pierre-Emmanuel Wulfman requested to merge refactor_commons into dev

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)

Merge request reports

Loading