Module Prover

module Prover: sig .. end

Interaction with user.

val parse : string -> Lang.prog

Parse a string.

val init : unit -> unit

Initialize the prover.

val exec : Lang.Envs.t -> string -> Lang.Envs.t

Execute a command.

val loop : Lang.Envs.t -> unit

Interactive loop.