amb Table of Contents amb untyped version typed version amb untyped version (require amb) typed version (require typed/amb)