operator: extract-value

    description:
        extract-value |x>
        extract the value, ie remove the category, from the given ket
            
    examples:
        -- if there is no category, then return unchanged:
        extract-value |fish>
            |fish>
        
        extract-value |animal: mammal: dog>
            |dog>
        
        extract-value |a: b: c: d: e: f>
            |f>
        
    see also:
        extract-category    

Home