let journalized_get =
Journal.register
"!Db.Sparecode.get"
(Datatype.func2
~label1:("select_annot", None) Datatype.bool
~label2:("select_slice_pragma", None) Datatype.bool
Project.ty)
(fun select_annot select_slice_pragma ->
Result.memo
(fun _ -> run select_annot select_slice_pragma)
(select_annot, select_slice_pragma))