BitStreamFrame

logic.spad line 4084 [edit on github]

An example of a frame taken from Vickers section 3.7 Date Created: Aug 2015

/\ : (%, %) -> %: from MeetSemilattice

= : (%, %) -> Boolean: from BasicType

\/ : (%, %) -> %: from JoinSemilattice

coerce : % -> OutputForm: from CoercibleTo(OutputForm)

latex : % -> String: from SetCategory

starts : List(Boolean) -> %: construct bit stream

starts : String -> %: construct bit stream by parsing string containing 0, 1 and *

~= : (%, %) -> Boolean: from BasicType

CoercibleTo(OutputForm)

MeetSemilattice

JoinSemilattice