Module ElimData

module ElimData: sig .. end

Encoding of Datatypes

encode (co)datatypes. a data a = c1 x1 | ... | cn xn becomes a type a plus axioms defining each constructor, selector and tester.

type term = Nunchaku_core.TermInner.Default.t

type mode =

`\|`	`M_data`
`\|`	`M_codata`

val pp_mode : mode CCFormat.printer

module type S = sig .. end

module Data: S

module Codata: S