package alba

You can search for identifiers within the package.

in-package search v0.2.0

Module `Term.Inductive`

Inductive types

type term = t

type t

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