Module Abbreviations.Spec

module Spec: sig .. end

Shorthand for Specification module.

type 'a predicate = 'a Specification.predicate

type ('a, 'b) t = ('a, 'b) Specification.t = {

	`precond :'a predicate;`
	`postcond :('a * 'b) predicate;`

}

type 'a outcome =

`\|`	`Result of 'a`
`\|`	`Exception of exn`

include Specification