sig
  val is_empty_script : string -> bool
  val delete_script_for : gid:string -> unit
  val add_script_for : gid:string -> string list -> string -> string -> unit
  val parse_coqproof : string -> (string * string) option
  val savescripts : unit -> unit
  val script_for :
    pid:WpPropId.prop_id ->
    gid:string -> legacy:string -> (string * string) option
  val script_for_ide :
    pid:WpPropId.prop_id -> gid:string -> legacy:string -> string * string
  val hints_for : pid:WpPropId.prop_id -> (string * string * string) list
end