Copilot.Theorem.Kind2.Prover
module Data.Default
data Options Source #
Constructors
Fields
Defined in Copilot.Theorem.Kind2.Prover
Methods
def :: Options #
kind2Prover :: Options -> Prover Source #