stdlib/source/program/aedifex/command.lux


1
2
3
4
5
6
7
8
9

(.module:
  [library
   [lux "*"]]
  ["[0]" // "_"
   ["[1]" profile]
   ["[1][0]" action {"+" Action}]])

(type: .public (Command a)
  (-> //.Profile (Action a)))