package nunchaku

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module ElimCopy = ElimCopy

module ElimData = ElimData

module ElimIndPreds = ElimIndPreds

module ElimMultipleEqns = ElimMultipleEqns

module ElimPatternMatch = ElimPatternMatch

module ElimRecursion = ElimRecursion

module ElimTypes = ElimTypes

module Elim_HOF = Elim_HOF

module Elim_infinite = Elim_infinite

module Elim_ite = Elim_ite

module Elim_prop_args = Elim_prop_args

module FoToRelational = FoToRelational

module IntroGuards = IntroGuards

module LambdaLift = LambdaLift

module Model_clean = Model_clean

module Monomorphization = Monomorphization

module Polarize = Polarize

module Skolem = Skolem

module Specialize = Specialize

module TypeInference = TypeInference

module Unroll = Unroll