module Bools { 
 
  // BOOLEANS 
 
  fn test() { 
    // bool is a type with true and false values 
    let x1 : bool = false; 
    let x2 : bool = true; 
 
    let x3 = x1 && x2;  // use && logical and (short-circuit) 
    let x4 = x2 || x1;  // use || logical or (short-circuit) 
    let x5 = !x1;       // use ! for logical not 
  } 
}