Added function annotation to each function
Added function annotation to each function

syreal17/cardinality_chains,syreal17/Cardinal,syreal17/cardinality_chains,syreal17/cardinality_chains,syreal17/Cardinal,syreal17/Cardinal