aST.ml

type 'a unresolved = Unresolved | Resolved of 'a | Absent

type 'a or_subexpr = Sub of expression | Literal of 'a | Absent

and flag = { name : string; mutable payload : string or_subexpr unresolved }

and arg = Positional of string or_subexpr | Flag of flag

and expression = { count : int; cmd : string or_subexpr; mutable args : arg array }

type t = { expressions : expression array }