sig
val delete_script : string -> unit
val add_script : string -> string list -> string -> string -> unit
val find_script_for_goal : string -> (string * string) option
val update_hints_for_goal : string -> string list -> unit
val find_script_with_hints :
string list -> string list -> (int * string * string * string) list
val clear : unit -> unit
val loadscripts : unit -> unit
val savescripts : unit -> unit
val is_empty : string -> bool
val parse_coqproof : string -> (string * string) option
val parse_scripts : string -> unit
val dump_scripts : string -> unit
val script_for :
pid:WpPropId.prop_id -> gid:string -> (string * string) option
val script_for_ide : pid:WpPropId.prop_id -> gid:string -> string * string
val hints_for : pid:WpPropId.prop_id -> (string * string * string) list
end