package rfsm

  1. Overview
  2. Docs
package rfsm
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Ext.BaseSource

Sourceval pow2 : int -> int

pow2 n is 2^n. Not tail recursive. Raises Invalid_argument if n<0

Sourceval neg : ('a -> bool) -> 'a -> bool

neg f x is not (f x)

Sourceval swap : ('a * 'b) -> 'b * 'a

swap (x,y) is (y,x)

Sourceval clone : 't -> 't

clone v returns a deep copy of value v