leo_ast::types

Module future

Source

Structsยง

  • FutureType
    A future type consisting of the type of the inputs.