next | previous | forward | backward | up | top | index | toc | home

isLinearType -- determine if a module is of linear type

Synopsis

Ways to use isLinearType :