Parameter Define.D

type left
type right
type eq
type diff
type state