lean4-code-actions/libs/utils/Bounds/inside.ts

Refactorings and snippets for Lean 4

import { Bounds } from './index'

export const inside = <N>(bounds: Bounds<N>) => (value: N) => {
  return value >= bounds.min && value <= bounds.max
}