let
possible_annotations =
S
.true_str ::
S
.false_str ::
Base
.possible_annotations