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