package alba

  1. Overview
  2. Docs

Inductive types

type term = t
type t
val make_simple_inductive : int -> formal_argument list -> formal_argument -> formal_argument list -> inductive
OCaml

Innovation. Community. Security.