let line_length = ref 76 let typing_derivation = ref false let reduction_derivation = ref false