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