class Dhall::Forall

Public Instance Methods

as_json() click to toggle source
# File lib/dhall/ast.rb, line 216
def as_json
        if var == "_"
                [2, type.as_json, body.as_json]
        else
                [2, var, type.as_json, body.as_json]
        end
end