Current section

Files

Jump to
graded include graded@internal@types_TAbs.hrl
Raw

include/graded@internal@types_TAbs.hrl

-record(t_abs, {param :: binary(), body :: graded@internal@types:effect_term()}).