diff --git a/doc/examples/clockdiv.fut b/doc/examples/clockdiv.fut
index aeaf901..7601376 100644
--- a/doc/examples/clockdiv.fut
+++ b/doc/examples/clockdiv.fut
@@ -1,8 +1,8 @@
 module clockdiv_2 (
-	input wire clk,
-	input wire rst,
-	output wire out_clk
-) {
+	clk: Logic,
+	rst: Logic
+) -> Logic
+{
 	proc (clk) {
 		match (~rst) {
 			0 => out_clk = 0,
diff --git a/doc/examples/comparator.fut b/doc/examples/comparator.fut
index 7ec1fa3..11a205b 100644
--- a/doc/examples/comparator.fut
+++ b/doc/examples/comparator.fut
@@ -1,7 +1,7 @@
 module comparator (
-	input wire [8] a,
-	input wire [8] b,
-	output wire eq
-) {
+	a: Logic<8>,
+	b: Logic<8>
+) -> Logic
+{
 	assign eq = ~reduce_or(a ^ b);
 }
diff --git a/doc/examples/halfadd.fut b/doc/examples/halfadd.fut
index 1d59e1a..e633ea8 100644
--- a/doc/examples/halfadd.fut
+++ b/doc/examples/halfadd.fut
@@ -1,9 +1,7 @@
 module halfadd (
-	input wire a,
-	input wire b,
-	output wire sum,
-	output wire carry
-)
+	a: Logic,
+	b: Logic
+) -> (Logic, Logic)
 {
 	assign sum = a ^ b;
 	assign carry = a & b;
diff --git a/doc/examples/identity.fut b/doc/examples/identity.fut
index 9a19ea7..b8e2700 100644
--- a/doc/examples/identity.fut
+++ b/doc/examples/identity.fut
@@ -1,7 +1,6 @@
 module identity (
-	input wire a,
-	output wire x
-	)
+	a: Logic
+	) -> Logic
 {
 	assign x = a;
 }