leo_ast::types

Module future

Source

Structsยง

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