-module(missing). -export([t1/0, t2/0, t3/0, t4/0]). -spec f(#{a := 1, b => 2, c => 3}) -> ok. f(_) -> ok. t1() -> f(#{b => 2}). t2() -> f(#{a => 1, c => 4}). t3() -> f(#{a => 1, b => 2, e => 3}). t4() -> f(#{a => 1, b => 2}).