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