Lines Matching defs:prop
214 datatype prop = Propositional | Effectively_propositional | Non_propositional;
217 type category = {prop : prop, equal : equal, horn : horn};
226 val prop =
252 {prop = prop, equal = eq, horn = horn}
256 fun prop Propositional = "propositional"
257 | prop Effectively_propositional = "effectively propositional"
258 | prop Non_propositional = "non-propositional";
271 fun category_to_string {prop = p, equal = e, horn = h} =
272 prop p ^ ", " ^ eq e ^ ", " ^ horn h;