Skip to main content

include/girard@types_Scheme.hrl 

-record(scheme, {vars :: list(integer()), type_ :: girard@types:type()}).