Temp

CoAlgLogics.ml

@@ -61,6 +61,15 @@ let mkRule_MultiModalK sort bs sl =
         res := None;
         AllInOne rules
 
+let mkRule_MultiModalKD sort bs sl =
+  let rules = bsetFold getRules bs [] in
+  let res = ref (Some rules) in
+  fun () ->
+    match !res with
+    | None -> NoMoreRules
+    | Some rules ->
+        res := None;
+        AllInOne rules
 
 let mkRule_Choice sort bs sl =
   assert (List.length sl = 2);
@@ -138,5 +147,6 @@ let mkRule_Fusion sort bs sl =
  *)
 let getExpandingFunctionProducer = function
   | MultiModalK -> mkRule_MultiModalK
+  | MultiModalK -> mkRule_MultiModalKD
   | Choice -> mkRule_Choice
   | Fusion -> mkRule_Fusion

CoAlgMisc.ml

@@ -66,6 +66,7 @@ module NHt = Hashtbl.Make(
 (* This type must be extended for additional logics. *)
 type functors =
   | MultiModalK
+  | MultiModalKD
   | Choice
   | Fusion
 

CoAlgMisc.mli

@@ -11,6 +11,7 @@
 (* This type has to be extended for additional logics. *)
 type functors =
   | MultiModalK
+  | MultiModalKD
   | Choice
   | Fusion
 

colorize.sh

+#!/bin/bash
+
+
+while read line ; do
+echo "$(tput bold)$(tput setaf 3)$line$(tput sgr0)"
+done
+
+