Module Kind2 (.ml)

module Kind2: sig .. end
Top level of the Kind 2 model-checker.

module Signals: TermLib.Signals
type any_input = 
| Input : 'a InputSystem.t -> any_input
val setup : unit -> any_input
val main : unit -> unit