unsafeList

Table of Contents

Types

unsafeList

(type)
type unsafeList

Tuple

(type)
type Tuple

Functions

Lnew

def Lnew : List

cons

def cons (xs: List) (t: Top) : List

car

def car (xs: List) : a

cdr

def cdr (xs: List) : List

list_to_tuple

def list_to_tuple (xs: List) : Tuple