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=85b8a0746e9be8c20cf082f2573b5895

sha512=ec707820ff69ddbf9c631cf6a1c8748e82346daded1a4f73c5702128d07858f915e62d529e5fec01e99263f33eefb1586067341c058535806e0092b9d040644a

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.