Celestin Apprentice 5/Apprentice-Release5.iso/Source Code/C/Applications/Moscow ML 1.31/source code/mosml/src/compiler/Match.sig

Text File | 1996-07-03 | 223 b | 13 lines | [TEXT/R*ch]

local
  open Lambda Location Asynt Tr_env;
in

datatype ThreeValuedLogic = False | Maybe | True;

val translateMatch :
  TranslEnv -> (ThreeValuedLogic -> Lambda) ->
  Location -> (Pat list * Lambda) list -> Lambda
;

end;