module Cordial.Model.Common.Source

import Cordial.Model.Common.Essential

%default total
%access public export


{-

p -Always-> p
c <-Always- p
p -> c
c <- p
p/c <-> c/p

SRC SRC
SRC IP
IP  SRC
IP  IP

-}
