include/girard@internal@infer_PendingIndex.hrl

Select File

-record(pending_index, {
    container :: girard@types:type(),
    index :: integer(),
    result :: girard@types:type()
}).