Bigraph.Ts_intf
module type T = sig ... end
Abstract interface.
module type S = sig ... end
Concrete interface for the transition system generated by BRSs, PBRSs, SBRSs, and ABRSs.
module type Intf = sig ... end