Skip to main content

bijection typecheck