Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Command : sig ... endHandling of commands.
module Compile : sig ... endHigh-level compilation functions.
module Fol : sig ... endConfiguration for tactics based on first-order logic.
module Inductive : sig ... endGeneration of induction principles.
module Proof : sig ... endProofs and tactics.
module Query : sig ... endHandling of queries.
module Rewrite : sig ... endImplementation of the rewrite tactic.
module Tactic : sig ... endHandling of tactics.
module Why3_tactic : sig ... endCalling a prover using Why3.