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