Generated with

gapt/gapt/gapt.formats/gapt.formats.json/SequentCodec

SequentCodec

gapt.formats.json.SequentCodec

object SequentCodec

Attributes

Source: SequentCodec.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: SequentCodec.type

In this article

Generated with