package alba

You can search for identifiers within the package.

in-package search v0.2.0

Module `Term.Inductive`Source

Inductive types

Sourcetype term = t

Sourcetype t

val make_simple_inductive : 
  int ->
  formal_argument list ->
  formal_argument ->
  formal_argument list ->
  inductive