In dafny language, we have a map datatype:

datatype MapSet $=$ MapSet $($s : map$)$

How would I go about coding the function below?

function size $($m:MapSet$)$: int

$\{$

$/*$ get the size of the map where we only count the keys with the boolean value "true" $*/$

$\}$