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