---
name: "Builtins.subvert"
section: "3kaya"
platform: "linux"
package: "kaya"
version: "0.4.4-6.2"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/Builtins.subvert"
---

# Builtins.subvert(3kaya)

Subvert the type system.

## NAME

Builtins::subvert - Subvert the type system.

## SYNOPSIS

**anything subvert(** *something x* **)**

## ARGUMENTS

**x** The variable to change the type of

## DESCRIPTION

Somebody is bound to want to do an unsafe cast, so I guess I'll let them. I wanted to call this "EnoughRopeToHangYourselfWith" but I think it might turn out to be too useful in creating bindings to external libraries to have a name like that...

## AUTHORS

Kaya standard library by Edwin Brady, Chris Morris and others (kaya@kayalang.org). For further information see http://kayalang.org/

## LICENSE

The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.