package alba

  1. Overview
  2. Docs
Alba compiler

Install 

dune-project
 Dependency

albatross-lang.sourceforge.net Readme Edit opam file Versions (5)

Authors

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.4.4.tar.gz
sha256=4817038301d3e45bac9edf7e6f2fc8bf0a6d78e76e02ad7ea33ef69bcc17df3b
md5=25234357587126685d64f16236167937

doc/alba.core/Alba_core/Inductive/index.html

Module Alba_core.Inductive

type params = (string * Term.typ) array
module Header : sig ... end
module Constructor : sig ... end
module Type : sig ... end
type t
val make : params -> Fmlib.Common.Int_set.t -> Type.t array -> t
val up : int -> t -> t
val count_types : t -> int
val count_params : t -> int
val is_param_positive : int -> t -> bool
val parameter_name : int -> t -> string
val parameters : t -> params
val ith_type : int -> t -> string * Term.typ
val count_constructors : int -> t -> int
val count_previous_constructors : int -> t -> int
val raw_constructor : int -> int -> t -> string * Term.typ

raw_constructor i j ind

The name and the type of the jth constructor of the ith inductive type of the family, valid in a context with the inductive types and the parameters.

val constructor : int -> int -> t -> string * Term.typ

constructor i j ind

The name and the type of the jth constructor of the ith inductive type of the family, valid in a context with the inductive types.