Skip to content

Commit

Permalink
fix error
Browse files Browse the repository at this point in the history
  • Loading branch information
pkhry committed Jun 5, 2021
1 parent 784587d commit 22aa829
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion toplevel/toploop.mli
Original file line number Diff line number Diff line change
Expand Up @@ -21,13 +21,15 @@ type input =
| File of string
| String of string

val filename_of_input: input -> string
(* Accessors for the table of toplevel value bindings. These functions
must appear as first and second exported functions in this module.
(See module Translmod.) *)
val getvalue : string -> Obj.t
val setvalue : string -> Obj.t -> unit


val filename_of_input: input -> string

(* Set the load paths, before running anything *)

val set_paths : unit -> unit
Expand Down

0 comments on commit 22aa829

Please sign in to comment.