{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
/// to some ordering, potentially with side constraints (min x such
/// In general, what you want is probably always min/max according
/// that P holds).