Project

General

Profile

« Previous | Next » 

Revision 89fd79f0

Added by LĂ©lio Brun over 2 years ago

a working version for automata with 'last' case of enums as default case

View differences:

src/spec_types.mli
39 39
  | True
40 40
  | False
41 41
  | Equal : ('a, left_v) expression_t * ('a, 'b) expression_t -> 'a formula_t
42
  | GEqual : ('a, left_v) expression_t * ('a, 'b) expression_t -> 'a formula_t
42 43
  | And of 'a formula_t list
43 44
  | Or of 'a formula_t list
44 45
  | Imply of 'a formula_t * 'a formula_t

Also available in: Unified diff