Prelude-v23.0.0

Switch Light/Dark Mode

/Prelude-v23.0.0/DirectoryTree/Tree/Type.dhall

Copy path to clipboard

Source

let Make =
        missing
          sha256:235d511ed943dded33b46b1717df263037329394e27fb4b9c677eda5af924458
      ? ./Make.dhall

in  forall (tree : Type) -> forall (make : Make tree) -> List tree