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))