Previous Up Next

Interface for module Mtsymbol

moduletypeSYMBOL=
sig
typesymbol

valsymbol_of_string:stringsymbol
valstring_of_symbol:symbolstring

typeαtable
valemptytable
valenter:(αtablesymbolנα→αtable
vallook:(αtablesymbol→αoption
valfold:(symbol→α→β→β)→αtable→β→β
end
moduleSymbol:SYMBOL


Previous Up Next