finery (cargo): Refinement types?
Keywords: types|type-theory|refinement-typing|refinement-types|typing