module Why3_session:sig
..end
Not mutated after the creation
type
goal = private {
|
goal_name : |
|
goal_parent : |
|
mutable goal_verified : |
type
theory = private {
|
theory_name : |
|
theory_parent : |
|
theory_goals : |
|
mutable theory_verified : |
type
file = private {
|
file_name : |
|||
|
file_format : |
|||
|
file_parent : |
|||
|
file_theories : |
(* |
Not mutated after the creation
Not mutated after the creation | *) |
|
mutable file_verified : |
type
session = private {
|
session_files : |
|
session_dir : |
exception LoadError
val read_session : string -> session