canExtractTo

P129096
predicate

Indicates that one entity is capable of being extracted, converted, or exported into another specified format, location, or representation.

Sample triples (3)

Subject Object
Coq OCaml NERFINISHED
Coq Haskell NERFINISHED
Coq Scheme