package alba

  1. Overview
  2. Docs
package alba
Legend:
Library
Module
Module type
Parameter
Class
Class type
type operator = string * Alba_core.Operator.t
type argument_type =
  1. | Normal
  2. | Operand
type t = t0 Located.t
and 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
and formal_argument = string Located.t * t option
and signature = formal_argument list * t option
and named_signature = string Located.t * signature
and definition = (string Located.t * formal_argument list * t option * t) Located.t
type operand = operator Located.t list * t
val to_list : t -> t0
val find_unused_local : t -> definition list -> string Located.t option