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