Sourcetype kind = [ | `A| `B| `C| `D
] Sourcetype ('t, 'brk, 'error, 's) store = {map : 't -> 'brk -> pos:int64 -> int -> (Bigstringaf.t, 's) io;mem : 't -> 'brk -> (bool, 's) io;list : 't -> ('brk list, 's) io;append : 't -> 'brk -> Bigstringaf.t -> ((unit, 'error) result, 's) io;appendv : 't -> 'brk -> Bigstringaf.t list -> ((unit, 'error) result, 's) io;
}