namespace Mlang.Http @[extern "mlang_http_get"] opaque httpGet (url : @& String) : IO String @[extern "mlang_aturi_parse_string"] opaque parseAturi (source : @& String) : IO String end Mlang.Http