type 'a result =
| Ok of 'a
| Error of string
type errors = string list * string list
val check_project : ?verbose:bool -> string -> errors
val check_file :
'a Json_encoding.encoding ->
(Stdlib.Format.formatter -> 'a -> unit) ->
string ->
errors
val read_file : string -> 'a Json_encoding.encoding -> 'a result
val write_file : string -> 'a Json_encoding.encoding -> 'a -> unit