@type ast() :: term()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

ast() :: wrap_with_gen(term(), &TypeCheck.Builtin.Guarded.ast_gen/1)

@type t() :: %TypeCheck.Builtin.Guarded{guard: ast(), type: TypeCheck.Type.t()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

t() :: %TypeCheck.Builtin.Guarded{type: TypeCheck.Type.t(), guard: ast()}