val init : transaction {} val discover : string -> transaction (option string)