ligo/vendors/rope/rope_top_level_open.mli
Pierre-Emmanuel Wulfman 59cb210b83 Interface for Ocaml code
2019-10-07 14:18:32 +00:00

6 lines
71 B
OCaml

(*
open Rope
val ( #% ) : ((impl -> impl) -> 'a -> 'b) -> 'a -> 'b
*)