./BuildInfo.dhall 
⫽ { main-is = "", scope = (constructors ../types/Scope.dhall ).Public {=} }