lean4-code-actions/libs/utils/Asserter.ts

Refactorings and snippets for Lean 4

import { Mapper, MapperP, MapperTwoSym } from './Mapper'

export type Asserter<Val> = Mapper<Val, void> // may throw an error

export type AsserterP<Val> = MapperP<Val, void> // may throw an error

export type AsserterTwoSym<Val> = MapperTwoSym<Val, void>