alba.albalib
Ast.Source_entry
alba.core
alba.fmlib
alba.fmlib_js
alba.fmlib_native
alba.fmlib_node
type named_signature = Expression.named_signature
type inductive = named_signature * named_signature array
type t =
| Normal of Expression.definition
| Inductive of inductive array