Module Ast.ExpressionSource

Sourcetype operator = string * Alba_core.Operator.t
Sourcetype argument_type =
  1. | Normal
  2. | Operand
Sourceand t0 =
  1. | Proposition
  2. | Any
  3. | Identifier of string
  4. | Number of string
  5. | Char of int
  6. | String of string
  7. | Operator of operator
  8. | Typed of t * t
  9. | Application of t * (t * argument_type) list
  10. | Function of formal_argument list * t option * t
  11. | Product of formal_argument list * t
  12. | Where of t * definition list
  13. | List of t list
Sourceand formal_argument = string Located.t * t option
Sourceand signature = formal_argument list * t option
Sourceand named_signature = string Located.t * signature
Sourceand definition = (string Located.t * formal_argument list * t option * t) Located.t
Sourcetype operand = operator Located.t list * t
Sourceval to_list : t -> t0
Sourceval find_unused_local : t -> definition list -> string Located.t option