Module: Expressir::Model::HasInformalPropositions

Included in:

Declarations::Entity, Declarations::InformalPropositionRule, Declarations::Rule, Declarations::Type

Defined in:

lib/expressir/model/concerns.rb

Overview

Marker for types supporting informal propositions