Drasil.GlassBR.Assumptions
assumpGT :: ConceptInstance Source #
assumpGC :: ConceptInstance Source #
assumpES :: ConceptInstance Source #
assumpSV :: ConceptInstance Source #
assumpGL :: ConceptInstance Source #
assumpBC :: ConceptInstance Source #
assumpRT :: ConceptInstance Source #
assumpLDFC :: ConceptInstance Source #
assumptionConstants :: [ConstQDef] Source #
assumptions :: [ConceptInstance] Source #