Algebraic data types: Difference between revisions

# will be returned.

# Output: null (failure to match) or a single JSON object giving the bindings if any.

def bindings($x):

if $x == . then {} # by assumption, no bindings are necessary