def know_row_get.none

minebender-game@1.0.0.0 · proof_grid.bend:17

import Base

17def know_row_get.none(-A: Data, -x: A, e: {None{} == Some{x} : Maybe<&2, A>}) -> Empty:
18  %e : Maybe.disc_none(A, _)
19  Unit{}