path: root/examples/features/Param.gf

resource Param = {

  param Bool = True | False ;

  oper and  -- : Bool -> Bool -> Bool 
   = \\x,y => case x of {
    True => y ;
    False => False
    } ;

}