package alba

  1. Overview
  2. Docs
type named_signature = Expression.named_signature
type inductive = named_signature * named_signature array
type t =
  1. | Normal of Expression.definition
  2. | Inductive of inductive array