Original: ExperimentalCycles.mo
public let balance : () -> (amount : Nat)
public let available : () -> (amount : Nat)
public let accept : (amount : Nat) -> (accepted : Nat)
public let add : (amount : Nat) -> ()
public let refunded : () -> (amount : Nat)