デジタル出力

デジタル出力はマイクロコントローラの最も基本となる機能である．デジタル出力のピンはHighかLowに設定される．Highの値はマイクロコントローラの動作電圧Vccで，Lowの値はである．

基本操作

デジタル出力ピンの基本操作では，出力はHighかLowである．

ピンのLEDをオンにする．

より大きいすべての値はHighの値であると見なされる．

"pin"->"Digital"という指定は"pin"-><|"Type"->"Digital"|>に等しい．

パルスの生成

基本操作では，出力はサンプリング区間全体においてHighかLowであり続けた．しかし，出力タイプを"Pulse"と指定することで，可変幅のパルスが生成できる．

指定の完全形は"pin"-><|"Type"->"Pulse",spec₁->val₁,…|>である．specs には以下が与えられる：

パルス指定

デフォルトでは，τ_p はサンプリング周期 sys である τ と等しいと仮定される．明示的にタイマを指定することもできるが，指定しない場合は自動的に選ばれる．

出力信号は以下のような形になる：

τ_p が τ より大きい場合は，τ_p は実質 τ である．Δ が τ_p より大きい場合は，Δ は実質 τ_p である．

幅秒のパルスが秒に1回発生する．

1秒のパルスが秒に2回発生する．

タイマを使ってパルスを生成する．

以下のすべてで．ピンのLEDが毎秒切り換わる．