mapMor :: DLMor -> Result CASLMor
mapMor inMor =
    let
        ms = trSign $ msource inMor
        mt = trSign $ mtarget inMor
        sm = sort_map inMor
        fm = op_map inMor
        pm = pred_map inMor
    in return (embedMorphism () ms mt)
        { sort_map = sm
        , op_map = fm
        , pred_map = pm }
mapMor :: DLMor -> Result CASLMor
mapMor inMor =
    let
        ms = trSign $ msource inMor
        mt = trSign $ mtarget inMor
        sm = sort_map inMor
        fm = op_map inMor
        pm = pred_map inMor
    in return (embedMorphism () ms mt)
        { sort_map = sm
        , op_map = fm
        , pred_map = pm }
mapMor inMor =
    let
        ms = trSign $ msource inMor
        mt = trSign $ mtarget inMor
        sm = sort_map inMor
        fm = op_map inMor
        pm = pred_map inMor
    in return (embedMorphism () ms mt)
        { sort_map = sm
        , op_map = fm
        , pred_map = pm }