Hets - the Heterogeneous Tool Set
HasCASL.ParseItem
Description
parser for HasCASL basic Items
basicItems :: AParser st BasicItem
basicSpec :: AParser st BasicSpec