package ojs_ed

You can search for identifiers within the package.

in-package search v0.2.0

Using file editor in ojs_base applications, common part

Install

dune-project

Dependency

md5=d1280f8b88bd6e03f62084c63027cf47

sha512=ff933d51b7a64a4d7356442284f0d992de746523fb28217d01c7d4ca0f461920b9f05d2f22ae4ba51f5a819c6b923e64b600150164ae58439b86e186d284b2ee

Utilities for editor, server side

Sourceval string_of_file : string -> string

string_of_file filename returns the content of filename in the form of one string.

Sourceval file_of_string : file:string -> string -> unit

file_of_string ~file str creates a file named filename whose content is str.