Anoma.Base
Contents
from-int : Int → Maybe IntSource#
from-string : String → Maybe StringSource#
axiom readPre : String → IntSource#
----------------------------------------------------------------------------- -----------------------------------------------------------------------------
axiom readPost : String → IntSource#
axiom isBalanceKey : String → String → StringSource#
read-pre : String → Maybe IntSource#
read-post : String → Maybe IntSource#
is-balance-key : String → String → Maybe StringSource#
unwrap-default : Maybe Int → IntSource#
