Lazy_backtrack (melange.Melange_compiler_libs.Lazy

type t('a, 'b);

type log;

let force: ('a => 'b) => t('a, 'b) => 'b;

let create: 'a => t('a, 'b);

let get_arg: t('a, 'b) => option('a);

let get_contents: t('a, 'b) => Stdlib.Either.t('a, 'b);

let create_forced: 'b => t('a, 'b);

let create_failed: exn => t('a, 'b);

let log: unit => log;

let force_logged: 
  log =>
  ('a => Stdlib.result('b, 'c)) =>
  t('a, Stdlib.result('b, 'c)) =>
  Stdlib.result('b, 'c);

let backtrack: log => unit;