given_Decoder_BigInt

Value members

Concrete methods

def decode(expr: Expr): Result[BigInt]