sig
  type raw
  type 'a t constraint 'a = [< Security_type.t ]
  val of_raw :
    Raw_contract_intf.S.raw -> [< Security_type.t ] Raw_contract_intf.S.t
  val to_raw :
    [< Security_type.t ] Raw_contract_intf.S.t -> Raw_contract_intf.S.raw
end